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

Reply via email to