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