Compile-Time Interfaces (Concepts)

bearophile via Digitalmars-d-learn digitalmars-d-learn at puremagic.com
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.

Bye,
bearophile


More information about the Digitalmars-d-learn mailing list