简单类型论基础
Basic simple type theory
J. Roger Hindley
- 2次提及
- 2人推荐
- 2位 HN 评论者
Hacker News 读者推荐
Hindley 写的《Basic Simple Type Theory》（基础简单类型论）通俗易懂，而且出自泰斗之手（绝对一手权威）：http://books.google.co.uk/books/about/Basic_Simple_Type_Theo....
BellsOnSunday 在 HN 的推荐
……你其实可以在这里合法免费下载：[2] 关于类型论（type theory），我建议先从学 Haskell 入手，哪怕只是为了让那些术语看起来没那么吓人，然后再去啃 J Roger Hindley 写的《Basic Simple Type Theory》。别被名字骗了，这书依然硬核得很；要不是我提前学了 Haskell，我绝对不可能啃得下来。[3] [1] https://www.amazon.com/Programming-Distributed-Computing-Sys...…
tombert 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 0521054222
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。