Compile-Time Interfaces (Concepts)

bearophile via Digitalmars-d-learn digitalmars-d-learn at
Thu Jul 17 16:06:30 PDT 2014

Justin Whear:

> What benefits would accrue from adding this?  Static 
> verification that a structure implements the specified concepts?

Not just that, but also the other way around: static verification 
that a "Concept" is strictly sufficient for any instantiation of 
a specific template. This is what Haskell/Rust do.


More information about the Digitalmars-d-learn mailing list