Java and Scala’s type systems are unsound (2016) by from Hacker News on 2021-11-23 12:28 (#5S898) Comments