Is variance of for generic type parameters in C# 4.0 a step closer for higher kind types?

Posted by Aggelos Mpimpoudis on Stack Overflow See other posts from Stack Overflow or by Aggelos Mpimpoudis
Published on 2010-06-17T00:19:04Z Indexed on 2010/06/17 0:22 UTC
Read the original article Hit count: 568

Filed under:

We know that implementing classes are still invariant, despite the fact that their interfaces are variant. However I am inquiring, is cov/contravariance a step closer to parametric polymorphism or these are two separate concepts?

© Stack Overflow or respective owner

Related posts about c#