书籍封面

编程与类型系统

本书全面介绍类型系统的特性,从基本类型开始,一直介绍到函数类型和子类型、OOP、泛型编程和高阶类型(如函子和单子)。本书没有关注这些特性背后的理论,而是通过实际应用的方式来解释每种特性。本书说明了如何以及何时使用每种特性来改进代码。
微信读书推荐值
76.9%
65人点评
推荐
一般
不行
热门划线
大多数编程语言使用void来表示不存在有意义的值,但是将上面那样的函数声明为返回void存在误导性。这些函数不是不返回有意义的值,而是根本不返回。
类型是对数据做的一种分类,定义了能够对数据执行的操作、数据的意义,以及允许数据接受的值的集合。
类型为数据赋予了意义,告诉软件在给定上下文中如何解释给定位序列,使其保留期望的意义