New top story on Hacker News: Java and Scala’s type systems are unsound (2016)

Java and Scala’s type systems are unsound (2016)
9 by rbanffy | 2 comments on Hacker News.