1. 基本資訊
編程與型別系統 Programming With Types：Examples in TypeScript
[美] 弗拉德·里斯庫迪亞（Vlad Riscutia） 著，趙利通 譯
機械工業出版社，2021年1月出版
1.1. 讀薄率
書籍【真實】字數17.5萬字，筆記總字數19299字，
讀薄率19299÷175000≈11.03%
較之C#代碼整潔之道高出不少，主要原因有兩方面：
- 統計口徑差異，著作權頁上沒有書籍總字數，采用的是真實字數，這個數值較低，分母變小，
- 筆記數量翻倍，這是實打實地，從另一個側面也說明了這本書內容更扎實，分子變大，
結果，讀薄率陡增，
1.2. 讀厚方向
-
函式式編程思維
-
Java 8函式式編程
-
Functional C#
-
Functional Programming in C#
-
Learning Java Functional Programming
1.3. 筆記--章節對應關系
筆記和章節一一對應，沒有合并同類項，也沒有章節調序，僅僅是每個章節內部進行了部分調序，就不一一列舉了，
2. 亮點
2.1. 開拓視野
-
提供了觀察其他語言的視角，尤其是TypeScript語言，
-
引入了抽象代數、柯里–霍華德（Curry-Howard）對應、范疇論、函子、單子等數學概念，
-
對混入Mixin和可變性做了較詳細的介紹，
2.2. 豐富、細致的型別介紹
不論型別是否常見，講其然，也講其所以然，
個人覺得比較重要的型別如下：
-
空型別
-
單元型別
-
可選型別
-
和型別
-
Either型別
-
變體型別
2.3. unicode構成
-
字符（character）
-
字形（glyph）
-
書寫位（grapheme）
3. 感想
3.1. 經典永流傳
好的計算機書籍是可以超脫語言和版本升級的影響而歷久彌新的，
3.2. 讓子彈飛一會也不是太好
做完讀書筆記，不會立刻寫總結和感想，而是讓子彈飛一會，沉淀一周左右才總結，此時留下的才是自己覺得重要的，
在《C#代碼整潔之道》和《編程與型別系統》之間還沒有什么問題，也沒有沖突，
但是在《編程與型別系統》和《函式式編程思維》，也就是擴展閱讀的書籍之間，強關聯了，原來覺得重要的點，也就被沖淡了，
原來亮點的地方，現在看來也就是函式式編程的基本知識點了，
3.3. 作者選擇TypeScript作為示例語言是有考量的
高級章節中無法示例的代碼，Haskell可以，但是如果選擇Haskell作為示例語言，受眾受限，
Java、C#用戶眾多，但是型別系統沒有TypeScript豐富，而且TypeScript作為JavaScript的升級，用戶也可以說是眾多，
選擇TypeScript除了高級型別無法示例外，大部分都能示例，而且語法層面上也是能接受的，
3.4. 讀好書、好讀書、讀好多書
以一本書為原點，朝著一個方向去選擇、讀取經典書籍，識訓頗豐，
有些書，講得云里霧里的東西，能夠豁然開朗，敞亮了，
3.5. 如何讀原文
-
如果為了學習TypeScript語言，這本書不算太好，
-
如果是為了了解型別系統（不僅僅是TypeScript語言的），則推薦閱讀，
大部分編程語言的語法書都是簡要的介紹資料型別，知其然，不知其所以然；告訴你怎么用，不告訴你為什么這樣用，而這本書恰恰解答了為什么，
轉載請註明出處，本文鏈接：https://www.uj5u.com/ruanti/542402.html
標籤：其他
上一篇：編程與型別系統讀后總結與感想