grauzone wrote:
Walter Bright wrote:
I believe that D's template constraint feature fills the bill, it does
everything Concepts purported to do, and more, in a simple and easily
explained manner, except check the template body against the constraint.
The latter is, in my not-so-humble opinion, a desirable feature but
its desirability is overwhelmed by the payment in complexity and
constrictions on the Concepts necessary to make it work.
I seriously wonder why you're saying that, while at the same time
clinging on overcomplicated failures such as const/immutable/pure or
auto ref etc...
Because there is a large payoff to immutability and purity, and they are
far simpler than Concepts.
Consider that Concepts required more pages to specify than the entire
template feature in C++.
I can expound on the huge advantages immutability and purity offer, if
you want.
