[RFC] std.experimental.concepts

[deadalnix via Digitalmars-d]

On Saturday, 25 July 2015 at 22:09:08 UTC, Andrei Alexandrescu 
wrote:
> On 7/25/15 5:24 PM, deadalnix wrote:
>> On Saturday, 25 July 2015 at 13:41:22 UTC, Andrei Alexandrescu 
>> wrote:
>>> Now stack these advantages against the advantages of template
>>> constraints. It's a landslide.
>>>
>>>
>>> Andrei
>>
>> This is a false dichotomy.
>
> We could have both (i.e. add traits to D), but would we want 
> to? -- Andrei

Yes. Most template code would benefit from it. For the same 
reason that being able to bypass the type system is important, 
you also would like that most of the code don't.