Idris 类型驱动开发
Type-driven Development with Idris
Edwin Brady · 初版 2017 年
- 47次提及
- 30人推荐
- 36位 HN 评论者
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。