Agree with everything you said except that bit: > You'll eventually need to learn about type theory ... which isn't just one thing. I'd say that most Java dev

Agree with everything you said except that bit: > You'll eventually need to learn about type theory ... which isn't just one thing. I'd say that most Java developers are comfortable with its type system, including the parametric polymorphism that it supports, and most of them probably don't know much about type theory. The same can probably be said of C#. > we'll slowly figure out how to package that power in a way that everybody can understand. I think we're already there. Java's generics appeared in 2005, and while there probably was some cultural shock in the Java community in the years that followed, it's safe to say that most of this community can claim to have a reasonable understand of generics in general. The addition of C# and its type system helped disseminate this knowledge further.