类型论与函数式编程
Type theory and functional programming
Simon Thompson · 初版 1991 年
- 6次提及
- 2人推荐
- 5位 HN 评论者
Hacker News 读者推荐
书单。我书架上涵盖这些主题的一些书：Simon Thompson 的《Type Theory and Functional Programming》（随手搜一下就能找到 PDF）、Rob Nederpelt 和 Herman Geuvers 写的《Type Theory and Formal Proof》前 120 页。至于 dependent types 的早期内容（上述书里也涵盖了），……
codeismath 在 HN 的推荐
……先学归纳构造演算（calculus of inductive constructions，形式化机制跟 MLTT 类似），然后再学写代码。不然的话一切看起来都会像魔法一样。不过，这个主题倒是有几本好书：* Type Theory and Functional Programming (http://www.cs.kent.ac.uk/people/staff/sjt/TTFP/) * Programming in Martin-Lof type theory (http://www.cse.chalmers.se/research/group/logic/book/)
solomatov 在 HN 的推荐
找书
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。