Java and Scala’s type systems are unsound (2016)
Are there any java programmers around who are surprised by this? The docs don&#x27;t beat around the bush: They state rather clearly that [A] generics can be used to cause heap corruption and [B] `null` is all types and no types at the same time (it can be cast to anything, it is `instanceof` nothing).<p>Any thought put into what that might mean for the soundness of the type system trivially leads to the &#x27;correct&#x27; conclusions.<p>I&#x27;m not sure the headline is &#x27;deserved&#x27; (it insinuates more alarm than I think is warranted), and the actual paper linked __definitely__ is engaging in some unwarranted hyperbole. &quot;The existential crisis of null&quot;?