D's greatest mistakes

[Simen kjaeraas]

bearophile <bearophileHUGS at lycos.com> wrote:

>> - It lacks is ( Type : TypeSpecialization , TemplateParameterList ) and
>>      is ( Type == TypeSpecialization , TemplateParameterList )
>
> I think is() needs less stuff, not more. The functionality needs to be  
> moved to a nicer syntax (and according to Andrei a better semantics too).

The versions I suggest 'is' lacks are simplifications of existing options,
and would IMO simplify the feature.

I also feel that is() is logical. That is, the parts without the  
Identifier.
is( A : B ) makes sense, as does is( A == B ) and is( A : B!T, T... ).
is( A B : C!T*, T... ), on the other hand...

-- 
Simen