The Unsound Playground: Java and Scala's Type Systems are Unsound
A sound type system is one that prevents illegal operations. Using a null reference is an illegal operation, and Java doesn&#x27;t prevent this. Hasn&#x27;t Java&#x27;s type system been unsound all along?