试图定义`$`类型

Question

使用新泽西州的标准ML（v110.77），我试图从纯功能数据结构中定义$数据类型：

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