本書全面介紹類型系統的特性，從基本類型開始，
一直介紹到函數類型和子類型、OOP、泛型編程和高階類型（如函子和單子）。
本書沒有關注這些特性背後的理論，而是通過實際應用的方式來解釋每種特性。
本書說明瞭如何以及何時使用每種特性來改進代碼。
編程與類型系統
- 作者： Vlad Riscutia
- 譯者： Vlad Riscutia 趙利通譯
- 出版社： 機械工業
- 出版日期： 2021-01-01
- ISBN碼： 9787111670513
- 編號： 9787111670513
$ 607 元
原價 714
-
$607