编程与类型系统

Name: 编程与类型系统
Rating: 7.4 (2 reviews)
Author: 弗拉德·里斯库迪亚

7.4 读者评分 / 10

★★★★☆ 2 人评分 · 2 次阅读

鸠摩网盘查找 Z-Library 查找

快速回答

《编程与类型系统》（弗拉德·里斯库迪亚）本书全面介绍类型系统的特性，从基本类型开始，一直介绍到函数类型和子类型、OOP、泛型编程和高阶类型（如函子和单子）。本书没有关注这些特性背后的理论，而是通过实际应用的方式来解释每种特性。本书说明了如何以及何时使用每种特性来改进代码。

本书全面介绍类型系统的特性，从基本类型开始，一直介绍到函数类型和子类型、OOP、泛型编程和高阶类型（如函子和单子）。本书没有关注这些特性背后的理论，而是通过实际应用的方式来解释每种特性。本书说明了如何以及何时使用每种特性来改进代码。

暂无书评，登录后可写下第一条阅读感受。