SML 中的数据类型和类型未按预期工作

Question

我正在尝试基于monadic parsing paper 实现一个小解析库。我想用 SML(NJ) 来做，因为我正在学习 SML。

这是我目前所拥有的：

type 'a parse_data = ('a * char list);
type 'a parse_result = 'a parse_data list;

type 'a parser = char list -> 'a parse_data list;

datatype 'a parse_result = ParseFailure
                         | ParseSuccess of 'a parse_result;

然后我尝试如下使用它：

ParseSuccess ([("a", [#"a"]), ("b", [#"b"])]: string parse_result);

这给出了以下错误：

stdIn:21.15-21.66 Error: expression doesn't match constraint [tycon mismatch]
  expression: (string * char list) list
  constraint: string parse_result
  in expression:
    ("a",#"a" :: nil) :: ("b",#"b" :: nil) :: nil: string parse_result

我认为这很奇怪，因为我认为我已经使用 type 声明将 ('a * char list) list 与 'a parse_result 别名了。所以我尝试更深入地研究这个问题并尝试以下方法：

([("a", [#"a"]), ("b", [#"b"])]: string parse_result);

又报错了，现在符合预期：

stdIn:22.2-22.53 Error: expression doesn't match constraint [tycon mismatch]
  expression: (string * char list) list
  constraint: string parse_result
  in expression:
    ("a",#"a" :: nil) :: ("b",#"b" :: nil) :: nil: string parse_result

所以我尝试定义 datatype 而不给 parse_result 进行类型别名，如下所示：

datatype 'a parse_result = ParseFailure
                         | ParseSuccess of ('a * char list) list;

然后突然就起作用了：

([("a", [#"a"]), ("b", [#"b"])]);
val it = [("a",[#"a"]),("b",[#"b"])] : (string * char list) list
- ParseSuccess [("a", [#"a"]), ("b", [#"b"])];
val it = ParseSuccess [("a",[#"a"]),("b",[#"b"])] : string parse_result

我不明白，为什么它不接受我的类型别名 string parse_result 代替 (string * char list) list。那不应该工作吗？我如何定义'a parse_result 才能使用它而不是('a * char list) list？

我的 SMLNJ 版本是：Standard ML of New Jersey v110.79 [built: Sat Oct 26 12:27:04 2019]

Answer 1

错误在于datatype 的命名。它与之前定义的type 同名。一旦它被重命名，错误就消失了。工作代码是：

type 'a parse_data = ('a * char list);
type 'a parse_result = 'a parse_data list;

type 'a parser = char list -> 'a parse_result;

datatype 'a result = ParseFailure
                   | ParseSuccess of 'a parse_result;