Idris 类型驱动开发
Type-driven Development with Idris
Edwin Brady · 初版 2017 年
- 47次提及
- 30人推荐
- 36位 HN 评论者
为什么值得读
深入浅出地讲解依值类型与类型驱动开发，彻底打开眼界
- 将原本深奥的依值类型概念讲得通俗易懂
- 风格毫不枯燥理论化，聚焦程序即证明的实践
- 帮助读者大开眼界，领略类型系统能做到的极致
适合：想学习依值类型与现代类型系统的程序员
值得读指数：89 / 100
Hacker News 读者推荐
《Type-Driven Development with Idris》：https://www.manning.com/books/type-driven-development-with-i...
bjz_ 在 HN 的推荐
在读《Type-Driven Development with Idris》[0]之前，我一直觉得这种东西既晦涩又脱离实际，但这本书把基础的依赖类型示例——就像主楼帖子里演示的那些——讲得极其通俗易懂。事实证明，只要语言选对了，这玩意其实真没那么难……
lodi 在 HN 的推荐
恰恰相反，我建议直接从 Idris 入手。这门语言的整体设计更好，也连贯得多。它修复了 Haskell 的很多“失误”。去看看 Edwin Brady 本人写的《Type-Driven Development with Idris》吧，这本书写得真心神。
rq1 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 1617293024
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。