[RFC] std.experimental.concepts

Andrei Alexandrescu via Digitalmars-d digitalmars-d at puremagic.com
Sun Jul 26 08:28:18 PDT 2015


On 7/25/15 10:18 PM, Tofu Ninja wrote:
> 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.

I kind of agree with that. Yet it doesn't make a strong case for adding 
traits to D. I think we shouldn't. -- Andrei



More information about the Digitalmars-d mailing list