Ideas & society2011 · shared on Hacker News
Practical Type Inference Based on Success Typings (2006) [pdf]
Research PDF · needs verificationExplore Practical Type Inference Based on Success Typings (2006) [pdf], 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.
Ytosh ·
“No, we’re telling everyone we are using Java”
400 points368 comments
YTomte ·
Fun vs. Computer Science (2016)
221 points181 comments
Ysigna11 ·
Caramel: An OCaml to Erlang Compiler
151 points26 comments
Yadrip ·
Learning Elixir: My side-project
119 points36 comments
Ysomecoder ·
Why Type Systems Matter
79 points100 comments
Yskuro ·
Performance boost in Clojure 1.3 (alpha4)
50 points9 comments
YKinnard ·
Ask HN: Is the Hacker News Team Actively Developing Arc?
20 points11 comments
Ymadflame991 ·
Practical Type Inference Based on Success Typings (2006) [pdf]
18 points3 comments
Ymadflame991 ·
Practical Type Inference Based on Success Typings (2006) [pdf]
8 points0 comments
Ymbm ·
Ask HN: Most productive functional languages?
4 points5 comments
Yenkiv2 ·
Practical Type Inference Based on Success Typing (2006) [pdf]
1 points0 comments