On Thursday, 6 February 2014 at 01:01:59 UTC, Chris Williams
wrote:
I think that the advantages that are added by template-based
compilability checks can be gained without losing flexibility
if we add a more lenient interface definition, like:
I love the idea of some kind of "static interface" too. Pretty
sure it would also allow better compile-time polymorphism. The
problem I see with this proposal however is that the chances of
getting it into the core language are zero.
Perhaps one could get a library solution if what we are looking
for is extra clarity.
Something like
void DoSomething(T)(T t)
if (DuckTyping(T, MyType)
{
... stuff ...
}
