Types: The Next Generation (Was: Why is phobos so wack?)

[Nick Sabalausky via Digitalmars-d]

On Sunday, 9 July 2017 at 22:02:51 UTC, Meta wrote:
>
> There's a couple posts he's made here but a lot of it's spread 
> out across various talks, articles (I think) as well as 
> newsgroup posts. Here's what I found with a quick google:
>
> https://www.reddit.com/r/cpp/comments/4jqg5z/andrei_alexandrescu_on_c_concepts/
> https://www.reddit.com/r/programming/comments/4jlkhv/accu_2016_keynote_by_andrei_alexandrescu/d391585/
>
> And there's a ton of info on the internet about the C++ 
> concepts proposal.

Ah, I guess it is very similar after all, except it'd be based on 
top of and coexist with all of D's design by introspection stuff 
(rather than exist without it as with C++), thus avoiding a lot 
of the downsides and getting best of both worlds.