思想与社会2014 · 分享于 Hacker News
Propositions as Types (2014) [pdf]
研究 PDF · 待核实探索《Propositions as Types (2014) [pdf]》的原文与 Hacker News 社区讨论，查看来源并加入阅读清单。
从论文，走向讨论
看看社区如何讨论这个想法。
来自 Hacker News 的原始讨论。不同的视角、疑问，以及值得继续思考的线索。
最多展示 100 条相关讨论。论文可能出现在评论中，并非原帖投稿内容。
在讨论中发现的引用
按 HN 条目顺序展示最近的 50 条引用来源。
Yingve ·
“Code” 2nd Edition Now Available
525 赞同153 评论
Ymichalu ·
Ask HN: What are the most fundamental books on computer science?
474 赞同192 评论
YTD-Linux ·
Simplicity: A New Language for Blockchains [pdf]
300 赞同95 评论
Yj2kun ·
Programming is not math?
248 赞同159 评论
Yespeed ·
Algebra and the Lambda Calculus (1993)
196 赞同39 评论
Ynill0 ·
Propositions as Types (2014) [pdf]
108 赞同75 评论
Ylelf ·
Howard on Curry-Howard
76 赞同8 评论
Yadamnemecek ·
The Ergonomics of Type Checking (2016)
69 赞同93 评论
Yrendall ·
TypeScript's Type System Is Turing Complete (2017)
49 赞同43 评论
Ymichaelsbradley ·
Propositions as Types (2014) [pdf]
43 赞同6 评论
Ymlitchard ·
Propositions as Types [pdf]
7 赞同0 评论
Yrastrian ·
Why Reliability Demands Functional Programming
4 赞同0 评论
Ybouh ·
Proposition as types – historical perspective [pdf]
2 赞同0 评论
Ybronxbomber92 ·
Propositions as Types [PDF]
1 赞同0 评论