尝试定义 `$` 类型
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