ML之第三周总结（二）学习datatypes

通过datatypes关键字来构建自己的数据类型。

datatypes mytype = TwoInts of int * int

                             |  Str of string

                             |  Pizza

其中TwoInts和Str是构造函数，它们的作用是把对应类型的数据转换成mytype类型。Pizza是mytype类型的一个数据。

构建了数据类型之后，如何读取数据就是关键了。读取数据分为两个层次，一个是数据是从哪里来的，一个是数据自身是什么。

ML语言通过模式匹配来进行读取数据。