3 ms·

There is rather more to type systems than method dispatch.

• bascule 14y ago
  Type checking at method dispatch is the only part of the equation (literally, in the case of Fortress) where the JVM would come into play. Everything else happens ahead of time in the compiler. With InDy, the JVM can do a one-time check, verifying whatever security invariants the language has put in place, and after that, the MethodHandle is in InDy's polymorphic inline cache and the security checks can be skipped on subsequent calls. All subsequent calls dispatch at Java speed and can be inlined by HotSpot just like any other Java method. Writing your compiler on top of the JVM using InDy might help make this clearer!