D's greatest mistakes

Andrei Alexandrescu SeeWebsiteForEmail at erdani.org
Mon Nov 29 07:43:29 PST 2010


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


More information about the Digitalmars-d mailing list