contravariant argument types: wanna?

bearophile bearophileHUGS at lycos.com
Tue Sep 22 17:58:54 PDT 2009


Andrei Alexandrescu:

> Today D does not support contravariant arguments, but Walter told me 
> once he'd be quite willing to implement them. It is definitely the right 
> thing to do, but Walter would want to see a compelling example before 
> getting to work.
> Is there interest in contravariant argument types? If so, do you know of 
> a killer example?

Let's fix fix the holes in the logic of the module system and other basic things like returning static arrays, etc. Then we can think about adding contravariant argument types.
Very common and simple things that work first, complex things that are useful only once in while later.

Bye,
bearophile



More information about the Digitalmars-d mailing list