<div dir="ltr"><div class="gmail_quote"><div dir="ltr">Hi all,<div><br><div>As I've read and seen in Clang's code, a Concepts implementation in Clang hasn't really been pushed forward in the past year, with only very, very little code in place right now regarding Concepts, placed by Hubert Tong, CC'd, back in February, and very little to non-existent discussions in the mailing lists.</div><div><br></div><div>As of the Toronto meeting back in July, a subset of the original Concepts TS was merged into draft C++20, which omits some shorthand notations for concepts but keeps the core parts of the language feature. Most notably - function concepts were removed, as well as the 'bool' keyword after the 'concept' keyword, and the 'introducer' and "terse/natural syntax" were omitted.</div><div><br></div><div>I believe we should <b>go ahead and implement P0734R0 now </b>for the following reasons:</div><div> - <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/p0734r0.pdf" target="_blank">P0734R0</a> hasn't yet been implemented in any compiler (excluding GCC which implements a different proposal), and furthermore <b>no Concepts implementation was made from specification</b> - Andrew Sutton who worked on the GCC implementation also wrote the proposal. Doing a concepts implementation now would, I believe, help the committee discover defects and in general be more confident in the proposal.</div><div>- to be honest, it is<b> really not that hard </b>to implement, and can, I believe, be done in a month or two.</div><div>- Concepts will be present in C++2a unless something extraordinary happens - if not in their current form, then in a very similar form with maybe a few more terse syntaxes introduced<b> which would not break existing code</b> but just allow for nicer code - in any case, I believe it is a good time to lay a foundation for the core of the language feature which seems pretty stable already and were agreed upon by the committee.</div><div><br></div><div>I took a look at the relevant code and the proposal and hereby propose<b> a roadmap for implementing </b>Concepts in clang as it stands today: <a href="https://github.com/saarraz/clang-concepts-roadmap" target="_blank">https://github.com/saarraz/clang-concepts-roadmap</a></div><div>I broke it up into commit-sized chunks, which should take us to a working implementation of the proposal. I'm of course willing to implement all of this if needed.</div><div><br></div><div>Please tell me what you think and post issues/pull requests to the roadmap repo or post here.</div><div>I'd really like to see this get going.</div><div><br></div><div>Thanks!</div></div></div><div dir="ltr"><div>Saar</div></div></div></div>