contravariant argument types: wanna?

[Jeremie Pelletier]

bearophile wrote:
> 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

I think the development priorities in D are also to get a final D2 
specification, and then work out the issues. Its much less work in the 
end since you can possibly break things with every new feature so the 
sooner the spec is final the sooner we can get a stable D2 release.

I myself want to see covariant arguments :)

Jeremie