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

bpr via Digitalmars-d digitalmars-d at puremagic.com
Mon Jul 10 08:56:58 PDT 2017


On Sunday, 9 July 2017 at 20:22:16 UTC, Nick Sabalausky 
(Abscissa) wrote:
> Obviously this is all very incomplete, but it's an idea I think 
> is rather interesting.

You've seen this, right?

https://wiki.dlang.org/User:9rnsr/DIP:_Template_Parameter_Constraint

A small step in one such direction, influenced by C++ concepts. 
That proto-DIP also raises a question I always had about why D 
doesn't allow chained template instantiation, but that's another 
DIP for another time.



More information about the Digitalmars-d mailing list