OCaml中的類型錯誤：類型縮寫符號是循環的

Question

type symbol = symbol*symbol;; 
Error: The type abbreviation symbol is cyclic 

我們該怎麼寫這個，即（1）或（1,2）或（1,2,3）....將是一個類型OCaml的？

Answer 1

實在沒有可用的類型像你要求什麼。如果你的值都是整數，你所描述的實質上是一個整數列表。

Answer 2

可以定義最接近的類型是隻用一個構造變體：

type symbol = S of (symbol * symbol)