【发布时间】：2013-10-08 03:10:35
【问题描述】：
我读了一个定义如下的程序：
type 'a queue = ('a list * 'a list) ref
我不明白这里的语法。是工会还是什么？
【问题讨论】：
标签： ocaml
【发布时间】：2013-10-08 03:10:35
【问题描述】：
这是同义词/别名。 ('a list * 'a list) ref 类型在 OCaml 中已经有意义（它是对 'a 类型列表的引用），我们给它一个新的、更短的名称 'a queue。更准确地说，queue是一个参数化类型的名称，这里的参数命名为'a。
【讨论】：
-
嗨，我也不知道如何使用这种参数化类型定义队列。你能帮我解决这个问题吗？