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

类型的作用

定义数据的组织形式；

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

 

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

 

给类型添加操作。

 

如何给类型添加操作？

 

如何生成类型；