<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Thu, Feb 9, 2017 at 4:59 PM, Hannes Hauswedell <span dir="ltr"><<a href="mailto:h2+lists2017@fsfe.org" target="_blank">h2+lists2017@fsfe.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi Hubert,<br>
<span class=""><br>
> At this time, I have been working on Concepts in Clang.<br>
<br>
</span>Ah, great to know!<br>
<span class=""><br>
>  I am not sure how<br>
> "people" are using concepts in GCC, but my experience on unit testing<br>
> produced a number of internal compiler errors<br>
<br>
</span>Up until now it has worked ok for me, but I have mostly used rather<br>
basic concepts and only mild "specialization" of concepts.<br>
<span class=""><br>
> (and I have not found the error messages to be helpful in general).<br>
<br>
</span>True, but that's something where clang had to lead the way before, too,<br>
or not? :)<br>
<span class=""><br>
> Some cases of those internal<br>
> compiler errors stem from the cases being underspecified in the TS.<br>
><br>
<br>
</span>Haven't had any of those because of concepts, yet.<br>
<span class=""><br>
> I am not sure an ETA makes sense if the shape of what is going to be<br>
> delivered is changing. For example, the TS has a one-size-fits-all<br>
> normalization process which can be overly eager; part of the Clang<br>
> implementation effort would be to implement (in consultation with the<br>
> committee) the intended behaviour for each of the uses of normalization.<br>
<br>
</span>TBH honest I have no real clue of the scope of implementing the TS fully<br>
in Clang (or what the current progress is) so I am not *suggesting*<br>
anything, but maybe if there was a preliminary usable release in Clang<br>
it would get in more testers and help diagnose issues and corner cases?<br>
I thought this was what the committee wanted and why so many things<br>
didn't make it into C++17, i.e. getting people to use TSes early so that<br>
issues can be found and solved before integration into the proper<br>
standard...<br>
Then again, maybe you already know the rough edges well and would rather<br>
figure them out first?<br></blockquote><div>I'm hoping that the roughest of the edges in what the TS is would be smoothed out before too much effort is spent on things which do not translate (in terms of reusability or implementation/usage experience) to later versions.<br></div><div>In some cases, like with concept definitions being also variable or function templates, extra baggage comes from the existing parts of the language.<br><br></div><div>The goal, of course, is to have something available for feedback so that we know if the decisions made are ones which work for users.<br></div><div>The take away from that though, is that early adopters are, in a sense, beta testing.<br><br></div><div>My inclination for writing concepts code (for use, not testing) right now would be to use function concepts only, limit overloading concept names, avoid abbreviated function template syntax, and avoid template introductions.<br></div><div>I would also be very conservative in how I form constraints which are intended to be "more specific" or "more general" than other constraints.<br><br></div><div>As for the Clang implementation, we have (at least a sketch of) a plan, but no idea how difficult it is to execute.<br></div><div>I think there is at least one feature missing from the current TS which is needed: a way to refer to template parameters which are being specialized in a specialization.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
Thanks for the info and of course for working on this,<br>
Hannes<br>
<div class="HOEnZb"><div class="h5"><br>
<br>
><br>
> On Thu, Feb 9, 2017 at 3:17 PM, Hannes Hauswedell <<a href="mailto:h2%2Blists2017@fsfe.org">h2+lists2017@fsfe.org</a>><br>
> wrote:<br>
><br>
>> Hi Hubert,<br>
>><br>
>> thanks for the reply and the "warning sign". I am aware that the<br>
>> discussion on Concepts is ongoing, but there is the published ISO/IEC TS<br>
>> 19217:2015 that GCC implements and it has been rather stable from my<br>
>> knowledge.<br>
>> In any case my original question still remains: is there an ETA for<br>
>> concepts in Clang? Is there a person responsible for it right now that<br>
>> could have more details?<br>
>><br>
>> Thanks,<br>
>> Hannes<br>
>> --<br>
>> pgp-key: <a href="https://hannes.hauswedell.net/hannes_hauswedell_public_key.asc" rel="noreferrer" target="_blank">https://hannes.hauswedell.net/<wbr>hannes_hauswedell_public_key.<wbr>asc</a><br>
>> fingerprint: FC35 7547 7916 DA55 DC42 27EA 1D57 8E18 A109 60BF<br>
>><br>
>> On 05.02.2017 18:57, Hubert Tong wrote:<br>
>>> The Concepts TS implementation for Clang is occurring on trunk; so you<br>
>> are<br>
>>> looking in the right place.<br>
>>> Regardless of the implementation status in Clang, the TS remains an<br>
>>> experimental design, which may be subject to change.<br>
>>> So, I think that using relying on the Concepts TS in production carries<br>
>>> some risks: even if the support is there, it might not be the same as GCC<br>
>>> or the current version of the TS.<br>
>>><br>
>>> -- HT<br>
>>><br>
>>> On Sun, Feb 5, 2017 at 8:43 AM, Hannes Hauswedell via cfe-dev <<br>
>>> <a href="mailto:cfe-dev@lists.llvm.org">cfe-dev@lists.llvm.org</a>> wrote:<br>
>>><br>
>>>> Hi everyone,<br>
>>>><br>
>>>> I wanted to ask what the current state of the Concepts TS is in Clang. I<br>
>>>> saw some older list threads last year, but also didn't see much in<br>
>>>> regard of commits, but maybe I am also looking in the wrong places.<br>
>>>><br>
>>>> The status page lists it as WIP, but from my own experience I know that<br>
>>>> WIP can me anything from "we are running the last tests before release"<br>
>>>> to "I have put it on the TODO list".<br>
>>>><br>
>>>> The background is that we are currently redesigning a large template<br>
>>>> library and would really like to make use of concepts. Working with GCC<br>
>>>> during development is not a problem, but when we start distributing<br>
>>>> first release candidates maybe a year from now, it would be important to<br>
>>>> have Clang support, too.<br>
>>>><br>
>>>> If someone could shed light on the current status and whether there is<br>
>>>> an ETA that would help us a lot. Note that I am not implying that anyone<br>
>>>> should do anything for us, it's just important for us to know whether<br>
>>>> it's something we can likely expect for e.g. clang-6 or "definetely not<br>
>>>> in the next two years".<br>
>>>><br>
>>>> Thank you,<br>
>>>> Hannes<br>
>>>> --<br>
>>>> pgp-key: <a href="https://hannes.hauswedell.net/hannes_hauswedell_public_key.asc" rel="noreferrer" target="_blank">https://hannes.hauswedell.net/<wbr>hannes_hauswedell_public_key.<wbr>asc</a><br>
>>>> fingerprint: FC35 7547 7916 DA55 DC42 27EA 1D57 8E18 A109 60BF<br>
>>>><br>
>>>><br>
>>>> ______________________________<wbr>_________________<br>
>>>> cfe-dev mailing list<br>
>>>> <a href="mailto:cfe-dev@lists.llvm.org">cfe-dev@lists.llvm.org</a><br>
>>>> <a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/<wbr>mailman/listinfo/cfe-dev</a><br>
>>>><br>
>>>><br>
>>><br>
>><br>
>><br>
>><br>
><br>
<br>
<br>
--<br>
pgp-key: <a href="https://hannes.hauswedell.net/hannes_hauswedell_public_key.asc" rel="noreferrer" target="_blank">https://hannes.hauswedell.net/<wbr>hannes_hauswedell_public_key.<wbr>asc</a><br>
fingerprint: FC35 7547 7916 DA55 DC42 27EA 1D57 8E18 A109 60BF<br>
<br>
</div></div></blockquote></div><br></div></div>