編程與類型系統

對於編程基本問題的闡述，很契合希望加深對編程理解的人，例子雖然是ts，但對應cpp和更現代語言爲何發展到如此做了簡明的說明，有部分和cppsoftwaredesign的內容非常類似，思想完全貫通，把代碼當工具的人就需要深刻理解工具的發展，不能只看到現在寫的這一坨，對於業務的變化感到無語而放棄拯救自己，這是獨屬程序員纔有的能力，理解編譯器理解編程語言理解他面對的問題，持續去找和自己業務的關聯性，業務也能更好

非常好的一本書，從實用的角度介紹編程語言類型系統，相比很多講編程語言的書只停留在語法介紹和怎麼使用，本書更多回答了爲什麼；相比“勸退的” 類型和程序語言設計 這類科班書籍，本書更淺顯，適合入門；作者用心準備的案例，讓我覺得這才稱得上是一本書，以至於讓我有點理解什麼是“monad”，當然可能明早又忘了。。。 不管怎樣，書本身打滿分，扣分來自於微信讀書代碼截圖讓人體驗不好，建議買紙書

前段時間表弟推薦了一本關於類型系統的書，記了下大概名字，當時看了下封面是黑紅，發現微信圖書有就讀了這本，結果讀了一半感覺不太對，又查了下原來另一本叫types and programming languages🥲

在信息世界裏，一切皆可數字化。數字化的本質是計算機只能理解數字並對數字計算。於是一切信息概念必須轉換成二進制位，即0和1。類型便是建立二進制數字上的抽象。類型規定了怎麼解釋一串二進制位，以及它支持哪些更抽象的計算。程序語言的演化產生很多編程範式，諸如指令式編程，面向對象編程，函數式編程，泛型編程，歸根結底，它們都是面向類型編程。所以好不誇張地說，一切皆類型。總而言之，類型是數據和計算的抽象，這個抽象使得我們可以編寫更復雜更接近人類思維方式的程序。

這本書還是可以的很多地方很。 nice.但是翻譯不怎麼好，如果只是中文版的話，還是有很多更好的書的。（不大適合大部分軟件工程類學生，適合計算機科學的學生）

從跨語言的視角來看類型設計，最好有一個語言基礎

近期讀過相當好的編程書，能用精確簡練的語言把日常工作場景積攢的一些模糊經驗理順，上次有這種類似讀後感的書還是STL源碼解析。後面monad部分有點繞了，過段時間再回來看一遍。

以typescript爲主要語言來講解類型系統。 可以瞭解一些概念： 1-強弱類型，靜態動態類型 2-類型的協變/雙變/逆變/不變 3-函子/單子 4-頂層類型和底層類型 瞭解一些實踐 1-設計模式並不一定在面向對象下實現最優，可以考慮函數式實現 2-一些常用設計模式

從深入淺出，type system爲出發點，涵蓋了數據結構，算法，設計模式等知識。code examples非常簡練直觀，很好follow。

書名有點唬人，內容比較簡單，用簡短的例子講解，看起來也不費力，尤其後面幾章還是不錯的，值得一口氣讀完。