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.
