Re: Compile-Time Interfaces (Concepts)

[bearophile via Digitalmars-d-learn]

Justin Whear:

By this do mean replacing the template constraint `if 
(isInputRange!R)`
syntax?  If so, we need concept definition syntax, but we do not
necessarily need a "struct realizes concept" syntax.  And, in 
fact, I
would argue against it as a static assert would continue to be 
sufficient.

I was not suggesting to put Concepts (or typeclasses) in D (and 
Andrei is against this idea), I was just trying to explain the 
basic difference between template constraints and concepts :-)

Bye,
bearophile