通过datatypes关键字来构建自己的数据类型。
datatypes mytype = TwoInts of int * int
| Str of string
| Pizza
其中TwoInts和Str是构造函数,它们的作用是把对应类型的数据转换成mytype类型。Pizza是mytype类型的一个数据。
构建了数据类型之后,如何读取数据就是关键了。读取数据分为两个层次,一个是数据是从哪里来的,一个是数据自身是什么。
ML语言通过模式匹配来进行读取数据。
通过datatypes关键字来构建自己的数据类型。
datatypes mytype = TwoInts of int * int
| Str of string
| Pizza
其中TwoInts和Str是构造函数,它们的作用是把对应类型的数据转换成mytype类型。Pizza是mytype类型的一个数据。
构建了数据类型之后,如何读取数据就是关键了。读取数据分为两个层次,一个是数据是从哪里来的,一个是数据自身是什么。
ML语言通过模式匹配来进行读取数据。