【发布时间】：2015-05-02 08:42:43
【问题描述】：
使用新泽西州的标准 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
我做错了什么？
【问题讨论】：
【发布时间】：2015-05-02 08:42:43
【问题描述】：
在标准 ML 中，类型变量以单引号为前缀：
datatype 'alpha susp = $ of 'alpha
【讨论】：
-
+1。请注意，实际上写成
'a而不是'alpha是惯例（尽管我们确实发音它是“alpha”）。