计算机科学2020 · 分享于 Hacker News
Java and Scala’s type systems are unsound (2016)
探索《Java and Scala’s type systems are unsound (2016)》的原文与 Hacker News 社区讨论，查看来源并加入阅读清单。
从论文，走向讨论
看看社区如何讨论这个想法。
来自 Hacker News 的原始讨论。不同的视角、疑问，以及值得继续思考的线索。
最多展示 100 条相关讨论。论文可能出现在评论中，并非原帖投稿内容。
在讨论中发现的引用
按 HN 条目顺序展示最近的 50 条引用来源。
Ylelf ·
Typing Is Hard
260 赞同79 评论
Yis0tope ·
Go is about to get faster
212 赞同171 评论
YBarelyLit ·
Problems with TypeScript
196 赞同222 评论
Ykaba0 ·
State of Valhalla
152 赞同113 评论
Yrbanffy ·
Java and Scala’s type systems are unsound (2016)
38 赞同52 评论