[RFC] std.experimental.concepts

[Tofu Ninja via Digitalmars-d]

On Saturday, 25 July 2015 at 23:25:27 UTC, deadalnix wrote:
> 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.

Also having both basically destroys walter's augment about it 
getting tedious adding constraints at the top level. Having both 
would mean its opt-in.