Compile-Time Interfaces (Concepts)
bearophile via Digitalmars-d-learn
digitalmars-d-learn at puremagic.com
Thu Jul 17 16:06:30 PDT 2014
> 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