contravariant argument types: wanna?

Rainer Deyke rainerd at eldwood.com
Tue Sep 22 19:03:10 PDT 2009


Andrei Alexandrescu wrote:
> Is there interest in contravariant argument types? If so, do you know of
> a killer example?

I'm usually pretty good at thinking of contrived examples in support of
obscure language features, but I can't think of *any* examples using
contravariant argument types.  If such an example exists, I would love
to see it.

Implicit casting of delegates with contravariant argument types is
another story, and clearly useful.


-- 
Rainer Deyke - rainerd at eldwood.com



More information about the Digitalmars-d mailing list