SML：数据类型声明将不允许[]

Question

标准SML基础list定义为

datatype 'a list = [] | :: of 'a * 'a list

但是，当我尝试创建自己的列表数据类型时出现此错误：

- datatype 'a mylist = [] | mycons of 'a * 'a mylist
 Error: syntax error found at LBRACKET

但是，这可行：

- datatype 'a mylist = Nil | mycons of 'a * 'a mylist;
datatype 'a mylist = Mycons of 'a * 'a mylist | Nil

但是由于缺少方括号，此版本无法产生类似于列表的输出：

- Mycons (1,Nil);
val it = Mycons (1,Nil) : int mylist
- Mycons (1, Mycons (1,Nil));
val it = Mycons (1,Mycons (1,Nil)) : int mylist

为什么SML不接受[]原始尝试？

Answer 1

这个：

标准SML基础列表定义为

 datatype 'a list = [] | :: of 'a * 'a list 

是不正确的。

相反， list的定义如下：

datatype 'a list = nil | :: of 'a * 'a list

[foo, bar, baz]表示法是一种特殊的语法（“派生形式”） ，修订版标准ML的定义（在第56页的附录A中）明确定义为等效于foo :: bar :: baz :: nil 。

---

对于你的类型，你不会要能够重新定义[...]语法-它是建立在语言中，它的含义是固定的-但你可以通过使用一个符号让你的语法至少在某种程度上友好（非字母数字）标识符并将其声明为中缀和右关联； 例如：

infixr :::

datatype 'a my_list = MY_NIL | ::: of 'a * 'a my_list

val twoOnes = 1 ::: 1 ::: MY_NIL