Computer science2020 · shared on Hacker News
Java and Scala’s type systems are unsound (2016)
Explore Java and Scala’s type systems are unsound (2016), its original source and Hacker News discussions. Discover community perspectives and save it to your reading list.
GO BEYOND THE ABSTRACT
The conversation around the idea.
Original Hacker News threads. Different perspectives, questions, and things worth thinking about.
Showing up to 100 related threads. A paper may appear in a comment rather than the original submission.
Links found in the discussion
Up to 50 recent source links, in HN item order.
Ylelf ·
Typing Is Hard
260 points79 comments
Yis0tope ·
Go is about to get faster
212 points171 comments
YBarelyLit ·
Problems with TypeScript
196 points222 comments
Ykaba0 ·
State of Valhalla
152 points113 comments
Yrbanffy ·
Java and Scala’s type systems are unsound (2016)
38 points52 comments