2 ms·

I wouldn't say that the JVM works on this by coincidence. Java handles polymorphism by converting the code into casts which the JVM typechecks. The JVM is sound

by wbl 10y ago

I wouldn't say that the JVM works on this by coincidence. Java handles polymorphism by converting the code into casts which the JVM typechecks. The JVM is sound. One of the constraints with introducing polymorphism was not changing the JVM.