尝试定义 `$` 类型
Trying to Define `$` Type
使用新泽西州的标准 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
我做错了什么？
在标准 ML 中，类型变量以单引号为前缀：
datatype 'alpha susp = $ of 'alpha
使用新泽西州的标准 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
我做错了什么？
在标准 ML 中，类型变量以单引号为前缀：
datatype 'alpha susp = $ of 'alpha