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
