📚 网上馆配 · 在线荐购平台

内容简介：本书旨在告诉读者如何使用类型系统编写更好、更安全的代码，全面介绍类型系统的特性，主要内容包括类型和类型系统简介、基本类型、类型组合、类型安全、函数类型及其高级应用、子类型和类型兼容、面向对象编程的关键元素、泛型数据结构、泛型算法和迭代器、高阶类型等。本书没有关注这些特性背后的理论，而是通过实际应用的方式来解释每种特性，说明如何以及何时使用每种特性来改进代码。