☆☆☆☆☆
简体网页||繁体网页

Type-driven Development with Idris 2024 pdf epub mobi 电子书 著者简介

---

Type-driven Development with Idris 电子书 图书目录

---

点击这里下载

---

---

---

发表于2024-12-31

Type-driven Development with Idris 2024 pdf epub mobi 电子书

Type-driven Development with Idris 2024 pdf epub mobi 电子书

Type-driven Development with Idris 2024 pdf epub mobi 电子书

---

喜欢 Type-driven Development with Idris 电子书 的读者还喜欢

• 
  Types and Programming Languages 2024 pdf epub mobi 电子书
• 
  Essentials of Programming Languages, 3rd Edition 2024 pdf epub mobi 电子书
• 
  计算的本质 2024 pdf epub mobi 电子书
• 
  Lambda-Calculus and Combinators 2024 pdf epub mobi 电子书
• 
  Real World Haskell 2024 pdf epub mobi 电子书
• 
  Linkers and Loaders 2024 pdf epub mobi 电子书
• 
  Learn You a Haskell for Great Good! 2024 pdf epub mobi 电子书
• 
  Real World OCaml 2024 pdf epub mobi 电子书
• 
  Algorithms 2024 pdf epub mobi 电子书
• 
  The Little Schemer - 4th Edition 2024 pdf epub mobi 电子书

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

类似图书 点击查看全场最低价

出版者:Manning Publications

作者:Edwin Brady

出品人:

页数:480

译者:

出版时间:2017-3-31

价格:USD 49.99

装帧:Paperback

isbn号码:9781617293023

丛书系列:

Type-driven Development with Idris 2024 pdf epub mobi 电子书

评分☆☆☆☆☆

主要讲实际操作，干货满满，讲解非常清楚，几乎手把手的程度。少有提及理论，全部写成附注，只给关键概念和参考文章，简明扼要。 书中示例代码附有文本框形式的注解，作者的github上还有所有代码和练习题答案下载。

评分☆☆☆☆☆

主要讲实际操作，干货满满，讲解非常清楚，几乎手把手的程度。少有提及理论，全部写成附注，只给关键概念和参考文章，简明扼要。 书中示例代码附有文本框形式的注解，作者的github上还有所有代码和练习题答案下载。

评分☆☆☆☆☆

没想到完全dependent type的语言写起来竟然比想象中要顺畅很多。

评分☆☆☆☆☆

没想到完全dependent type的语言写起来竟然比想象中要顺畅很多。

评分☆☆☆☆☆

主要讲实际操作，干货满满，讲解非常清楚，几乎手把手的程度。少有提及理论，全部写成附注，只给关键概念和参考文章，简明扼要。 书中示例代码附有文本框形式的注解，作者的github上还有所有代码和练习题答案下载。

查看全网最低价