On: The Java type system is broken

[mcculley]

Those casts are still there. The compiler puts them in and the JVM has to execute them.

[icedchai → mcculley]

Yes. And my point is they'd be there anyway, with or without generics. It's not "generics" making the JVM any slower.

[mcculley → icedchai]

If the types were reified, the compiler and the JVM would know what type was there. No cast would be needed.

[MaxBarraclough → icedchai]

> they'd be there anyway

No. That's the point.