☆☆☆☆☆
簡體網頁||繁體網頁

Type-driven Development with Idris pdf epub mobi 著者簡介

---

Type-driven Development with Idris pdf epub mobi 圖書描述

---

Type-driven Development with Idris pdf epub mobi 圖書目錄

---

點擊這裡下載

---

---

---

發表於2024-09-27

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

叢書系列:

評分☆☆☆☆☆

沒想到完全dependent type的語言寫起來竟然比想象中要順暢很多。

評分☆☆☆☆☆

沒想到完全dependent type的語言寫起來竟然比想象中要順暢很多。

評分☆☆☆☆☆

主要講實際操作，乾貨滿滿，講解非常清楚，幾乎手把手的程度。少有提及理論，全部寫成附注，隻給關鍵概念和參考文章，簡明扼要。 書中示例代碼附有文本框形式的注解，作者的github上還有所有代碼和練習題答案下載。

評分☆☆☆☆☆

主要講實際操作，乾貨滿滿，講解非常清楚，幾乎手把手的程度。少有提及理論，全部寫成附注，隻給關鍵概念和參考文章，簡明扼要。 書中示例代碼附有文本框形式的注解，作者的github上還有所有代碼和練習題答案下載。

評分☆☆☆☆☆

沒想到完全dependent type的語言寫起來竟然比想象中要順暢很多。

查看全網最低價