小小 Typer
The Little Typer
Daniel P. Friedman , David Thrane Christiansen · 初版 2018 年
- 37次提及
- 16人推荐
- 33位 HN 评论者
为什么值得读
通过层层递进的丰富范例循序渐进掌握依值类型
- 通过连贯递进的例子展现依值类型语言的语义
- 展示如何用类型系统对程序属性进行严格证明
- 是小巧而精炼的依值类型入门读物
适合：想通过实例理解依值类型与程序验证的程序员
值得读指数：58 / 100
Hacker News 读者推荐
《A Philosophy of Software Design》给我留下了很深的印象。《The Little Typer》（MIT 出版社）https://www.amazon.com/dp/0262536439/ref=cm_sw_r_cp_api_pXxS... 看起来也很有搞头
auslegung 在 HN 的推荐
Daniel P. Friedman 和 David Thrane Christiansen 写的《The Little Typer》。整本书基本上就是一长串层层递进的代码示例，用来展示依赖类型编程语言的语义。它启发了我去……
isaac21259 在 HN 的推荐
……Boro Sitnikovski 的《Type-Driven Development with Idris》、Pierce 的《Types and Programming Languages》、Robert Harper 的《Practical Foundations for Programming Languages》（或者他在 YouTube 上关于类型论的任何视频）、Friedman 和 Christiansen 的《The Little Typer》、David Corfield 的《Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy》（上周去北卡 OBX 海滩度假还带着这本打发时间！……
codeismath 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 0262536439
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。