本书全面介绍类型系统的特性,从基本类型开始,一直介绍到函数类型和子类型、OOP、泛型编程和高阶类型(如函子和单子)。本书没有关注这些特性背后的理论,而是通过实际应用的方式来解释每种特性。本书说明了如何以及何时使用每种特性来改进代码。
编程与类型系统(微软资深工程师撰写,从实际应用角度,系统阐述如何使用类型系统编写更好、更安全的代码) (华章程序员书库) EPUB, PDF, MOBI, AZW3, TXT, FB2, DjVu, Kindle电子书免费下载。
epub下载 pdf下载 mobi下载 azw3下载 txt下载 fb2下载 djvu下载