摘要： 1、枚举类型 上面的例子定义了一个 day 的类型，包括 monday, tuesday, etc. 第二行以及下面可以读作"monday is a day, tuesday is a dat, etc". 有了上面 day 的定义， 可以可以编写一个关于 day 操作的函数： "(d:day) : 阅读全文