思想与社会2011 · 分享于 Hacker News
Practical Type Inference Based on Success Typings (2006) [pdf]
研究 PDF · 待核实探索《Practical Type Inference Based on Success Typings (2006) [pdf]》的原文与 Hacker News 社区讨论，查看来源并加入阅读清单。
从论文，走向讨论
看看社区如何讨论这个想法。
来自 Hacker News 的原始讨论。不同的视角、疑问，以及值得继续思考的线索。
最多展示 100 条相关讨论。论文可能出现在评论中，并非原帖投稿内容。
在讨论中发现的引用
按 HN 条目顺序展示最近的 50 条引用来源。
Ytosh ·
“No, we’re telling everyone we are using Java”
400 赞同368 评论
YTomte ·
Fun vs. Computer Science (2016)
221 赞同181 评论
Ysigna11 ·
Caramel: An OCaml to Erlang Compiler
151 赞同26 评论
Yadrip ·
Learning Elixir: My side-project
119 赞同36 评论
Ysomecoder ·
Why Type Systems Matter
79 赞同100 评论
Yskuro ·
Performance boost in Clojure 1.3 (alpha4)
50 赞同9 评论
YKinnard ·
Ask HN: Is the Hacker News Team Actively Developing Arc?
20 赞同11 评论
Ymadflame991 ·
Practical Type Inference Based on Success Typings (2006) [pdf]
18 赞同3 评论
Ymadflame991 ·
Practical Type Inference Based on Success Typings (2006) [pdf]
8 赞同0 评论
Ymbm ·
Ask HN: Most productive functional languages?
4 赞同5 评论
Yenkiv2 ·
Practical Type Inference Based on Success Typing (2006) [pdf]
1 赞同0 评论