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)