So if generics in java don't do anything beyond 'get typechecked, and insert imp...

int_19h · on July 13, 2017

Yes, in a sense that structured loops don't do anything beyond inserting implicit if/goto, and so the latter is enough for all use-cases.

masklinn · on July 13, 2017

1. the empty interface does not do the first one, and thus does not allow writing typesafe structures and code

2. and it requires significant expense of explicit casts which are not just sanity checks (which is what they are in java, due to type system weaknesses)