бесконечно рекурсивный тип в OCaml

#recursion #types #ocaml Вопрос: Я читаю этот файл OCaml, и он содержит следующее: type z = Z of z Это выглядит так, как будто z бесконечно рекурсивно. Чем это полезно…