类型与函数的结合性：给类型添加函数？

类型的作用

定义数据的组织形式；

定义类型与操作的结合形式；

类型系统设计的一个重要指标是给类型添加操作的方式。

给类型添加操作。

如何给类型添加操作？

如何生成类型；