Agda 验证式函数式编程
Verified Functional Programming in Agda
Aaron Stump
- 2次提及
- 1人推荐
- 2位 HN 评论者
Hacker News 读者推荐
《Verified Functional Programming in Agda》是目前能找到最好的 Agda 资源，但通过《Type-driven Development with Idris》学习 Idris 能让你获得极具迁移价值的见解。这些都是研究型语言，所以里面的思想非常有趣……
Zalastax 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 1970001240
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。