OCaml的：類型定義語法

Question

我讀的程序如下定義：

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

我不明白這裏的語法。這是一個工會還是什麼？

Answer 1

這是一個同義詞/別名。類型('a list * 'a list) ref已經在OCaml中有意義（它是對'a類型的一對列表的引用），我們給它一個新的，更短的名稱，'a queue。更確切地說，queue是參數化類型的名稱，此處的參數名爲'a。