recursion - OCaml 中的无限递归类型

Question

我正在阅读这个 OCaml 文件，它包含以下内容:

type z = Z of z

这看起来 z 是无限递归的。它有什么用，我怎样才能构建这样的类型？

Answer 1

我不认为这种类型特别有用，除非可能作为类型理论中的测试用例。

您可以像这样构建类型的值:

# let rec x = Z x;;
val x : z = Z <cycle>
# let rec q = Z (Z q);;
val q : z = Z (Z <cycle>)

一旦你有了一个类型的值，你当然可以很容易地构造其他值:

# let y = Z (Z x);;
val y : z = Z (Z (Z <cycle>))