《编程与类型系统》-弗拉德·里斯库迪亚 07-04 计算机类 13 内容简介: 本书全面介绍类型系统的特性,从基本类型开始,一直介绍到函数类型和子类型、OOP、泛型编程和高阶类型(如函子和单子)。本书没有关注这些特性背后的理论,而是通过实际应用的方式来解释每种特性。本书说明了如何以及何时使用每种特性来改进代码。 下载地址: 此站大部分下载链接网盘和谐了,在新的网站更新维护。新的电子书网址:https://www.mq59.com 0 分享到: