BTW I'm not knocking Java here. Java's simpler type system is actually great for the applications I think Java is good for --- business logic and simple mobile apps, the COBOL of the 21st century.

Well, except that Java went ahead and gratuitously complicated their type system with wildcards. That was crazy.