Java uses lazy linking, but Java's static type system is sound (modulo some bugs [1]). The Java VM type system is different from that of Java the language, but

Java uses lazy linking, but Java's static type system is sound (modulo some bugs [1]). The Java VM type system is different from that of Java the language, but it is also sound. [1]: http://wouter.coekaerts.be/2018/java-type-system-broken http://wouter.coekaerts.be/2018/java-type-system-broken