On Sat, 04 Apr 2009 16:49:23 +0400, Kagamin <[email protected]> wrote:
Andrei Alexandrescu Wrote:
> I grant that it would be quicker and clearer to write:
> interface Foo
> {
> static void stuff();
> this (int);
> }
> template Template(Arg : Foo) {}
>
> than to write:
> template Template(Arg) if (is (typeof (new Arg(0)) &&
> isStaticFunction!(Arg, "stuff")) {}
Yah. Let me add that after the OOP meteoric rise in the past years, many
of us can instantly figure how the former works, whereas the latter is
thoroughly obscure.
1. If template constraints suck, why not fixing *them*?
I believe his proposal exactly intends to fix them.
2. If implementation not complaining to interface constrains is
prohibited, why you would want template constraints at all? Just use
features you want and compiler will give errors if they are not provided.
3. If you use templates, why you would need interfaces at all?
Interfaces parameterised with their implementations!
