Nic*_*nes 18
type声明只是为现有类型指定另一个名称.声明type t = int * int只是意味着您现在可以编写t而不是int * int- 它实际上并不提供任何功能.
datatype定义允许您通过引入新的数据构造函数来创建全新的类型.数据构造函数是用于创建和模式匹配值的关键字和符号,例如列表类型nil和::.这些标识符没有什么特别之处; 你可以像这样轻松地定义它们:
datatype 'a list = nil | :: of 'a * 'a list