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
