Re:I Want Off Mr. Golang's Wild Ride
by pron on Friday February 28, 2020 @03:28PM
(#22446020)
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