试图定义`$`类型

Question

使用新泽西标准ML(v110.77),我试图$从Purely Functional Data Structures 定义数据类型:

datatype alpha susp = $ of alpha

但是我收到一个错误:

- datatype alpha susp = $ of alpha;
stdIn:1.11-2.7 Error: syntax error: deleting  ID ID EQUALOP

我究竟做错了什么？

Answer 1

在标准ML中,类型变量以单引号为前缀:

datatype 'alpha susp = $ of 'alpha