On Tuesday, 12 March 2013 at 06:05:54 UTC, Walter Bright wrote:
On 3/11/2013 10:49 PM, deadalnix wrote:
And this is very similar to our template constraint system and
static if, except
we are meta here (ie, meta dynamic typing vs meta static
typing).
The issue I have with it is it is only able to express concepts
as types. Values are important, too, as they are also
parameters to templates.
Both definitively have advantages and drawbacks. Does the C++
team have any plan on making concept work with values ?
Concepts are for instance THE perfect match for all kind of range
we have.
