Re: D's greatest mistakes

[Andrei Alexandrescu]

On 11/29/10 6:18 AM, bearophile wrote:
Andrei:
* Template pattern matching is incomplete

I don't understand this, please explain better. But I think the syntax of is() 
is awful and I'd like to shoot it.

is() should do full tree unification on the query type and the pattern. 
It currently does a partial unification that is inadequate.

Andrei