Блог

Я читаю этот файл OCaml, и он содержит следующее:

 type z = Z of z  

Это выглядит так, как будто z бесконечно рекурсивно. Чем это полезно и как я вообще могу создать такой тип?

Я не думаю, что этот тип особенно полезен, за исключением, возможно, в качестве тестового примера в теории типов.

Вы можете создавать значения такого типа, как это:

 # let rec x = Z x;; val x : z = Z lt;cyclegt; # let rec q = Z (Z q);; val q : z = Z (Z lt;cyclegt;)  

Как только у вас есть значение такого типа, вы, конечно, можете легко создать другие значения:

 # let y = Z (Z x);; val y : z = Z (Z (Z lt;cyclegt;))