Hacker News Reader

I believe that C# 4 gives you the ability to specify the co- or contra variance of a generic type.

As does Java, but they get it wrong for arrays. I don't know if C# has that problem or not.

C# copied Java's mistake in this respect.

You can pass an Apple[] to something accepting a Fruit[] and get a runtime exception when you try to add a Banana to the Fruit[].