ocaml - OCaml：类型定义语法

Question

我阅读了一个具有以下定义的程序：

    type 'a queue = ('a list * 'a list) ref

我不明白这里的语法。是工会还是什么？

Answer 1

这是同义词/别名。该类型('a list * 'a list) ref在 OCaml 中已经有意义（它是对一对 type 列表的引用'a），我们给它一个新的、更短的名称'a queue. 更准确地说，queue是一个参数化类型的名称，而参数就是'a在这里命名的。