在sml中声明数据类型的数据类型

Question

我讨厌如何声明一个数据类型为另一个数据类型。 即

datatype suits = HEARTS | DIAMONDS

datatype card = TWO of suits | THREE of suits

fun value TWO of suits = 2
   |value THREE of suits = 3

我想声明另一个数据类型的数据类型。 然后，我不需要将卡组中的所有52张卡都分开声明。 因此，我以为我只将卡的值声明为一种数据类型，将卡的颜色声明为另一种数据类型。 当我尝试将数据类型卡与功能匹配时，会出现问题。 我需要声明颜色的值，例如HEARTS = 2和DIAMONDS = 1，但是当我匹配时，这不是问题。 我将能够将两个HEARTS发送到一个参数之类的函数，而不是像两个参数那样发送（TWO，HEARTS）。

Answer 1

匹配构造函数的正确语法是

fun value (TWO s) = 2
  | value (THREE s) = 3

或者在这种情况下，因为您不需要西装：

fun value (TWO _) = 2
  | value (THREE _) = 3

Answer 2

这将达到目的：

fun value (TWO _)   = 2
  | value (THREE _) = 3

模式中的下划线表示“我不在乎此值-我什至不会给它起个名字。” TWO和THREE都已经是走型的东西构造suits -我们不关心它究竟是什么 。

现在，以这种方式表示卡不是很实用-如果您要一副完整的卡，则必须在函数中创建13个类型构造函数和13个子句！ 相反，我们可以使用整数：

type card = int * suits

或者，如果您希望它具有构造函数，则可以执行以下操作：

datatype card = Card of int * suits

或者您可以更改西服数据类型：

datatype suits = HEARTS of int
               | DIAMONDS of int
               ...

然后value将如下所示：

fun value (HEARTS n)   = n
  | value (DIAMONDS n) = n
  ...