圖書標籤: idris  pl  計算機科學  編程語言  計算機   

喜歡 Type-driven Development with Idris 的讀者還喜歡

• 
  Types and Programming Languages pdf epub mobi txt 電子書 下載
• 
  Essentials of Programming Languages, 3rd Edition pdf epub mobi txt 電子書 下載
• 
  計算的本質 pdf epub mobi txt 電子書 下載
• 
  Lambda-Calculus and Combinators pdf epub mobi txt 電子書 下載
• 
  Real World Haskell pdf epub mobi txt 電子書 下載
• 
  Linkers and Loaders pdf epub mobi txt 電子書 下載
• 
  Learn You a Haskell for Great Good! pdf epub mobi txt 電子書 下載
• 
  Real World OCaml pdf epub mobi txt 電子書 下載
• 
  Algorithms pdf epub mobi txt 電子書 下載
• 
  The Little Schemer - 4th Edition pdf epub mobi txt 電子書 下載

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

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

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

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

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