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.
