计算机科学2010 · 分享于 Hacker News
Draft book: Practical Foundations for Programming Languages, RHarper [pdf]
研究 PDF · 待核实探索《Draft book: Practical Foundations for Programming Languages, RHarper [pdf]》的原文与 Hacker News 社区讨论，查看来源并加入阅读清单。
从论文，走向讨论
看看社区如何讨论这个想法。
来自 Hacker News 的原始讨论。不同的视角、疑问，以及值得继续思考的线索。
最多展示 100 条相关讨论。论文可能出现在评论中，并非原帖投稿内容。
在讨论中发现的引用
按 HN 条目顺序展示最近的 50 条引用来源。
Yp4bl0 ·
Learn C and build your own Lisp
641 赞同145 评论
Ytikhonj ·
“What part of Milner-Hindley do you not understand?”
284 赞同80 评论
Ymaryrosecook ·
Ask HN: Which people and groups are researching new approaches to programming?
263 赞同121 评论
Ydons ·
Mio: A High-Performance Multicore IO Manager for GHC [pdf]
226 赞同78 评论
Yluriel ·
Concurrency is not Parallelism (it's better) - A talk by Rob Pike
174 赞同54 评论
Ypsygnisfive ·
So you want to learn type theory
169 赞同47 评论
Ysaturnflyer ·
Functional Programming for the Object-Oriented Programmer by Brian Marick
80 赞同28 评论
Yfogus ·
Higher-Dimensional Type Theory
76 赞同10 评论
YRaphael ·
Symbols in ECMAScript 6
54 赞同18 评论
Yottbot ·
Modules Matter Most
47 赞同26 评论
Yjmount ·
Practical Foundations for Programming Languages
47 赞同11 评论
Yzura ·
Software Foundations. Benjamin C. Pierce et al.
37 赞同4 评论
Ysmikhanov ·
Ask HN: any type theory book recommendation?
17 赞同14 评论
Ygtani ·
Draft book: Practical Foundations for Programming Languages, RHarper [pdf]
8 赞同1 评论
YDanielRibeiro ·
Practical Foundations of Programming Languages
2 赞同0 评论
Ydho ·
Practical Foundations for Programming Languages [pdf]
2 赞同0 评论