types récursifs dans Mutually OCaml

Question

Dans Haskell, vous pouvez effectuer les opérations suivantes:

Prelude> data Foo = Foo Bar; data Bar = Bar Foo 

Comment pouvez-vous faire la même chose en OCaml? J'ai essayé:

    ___ 
# type foo = Foo of bar;; type bar = Bar of foo;; 
Error: Unbound type constructor bar 

Est-il même possible de définir des types de données mutuellement récursifs dans OCaml? Si non alors pourquoi?

Comparer les définitions de données pour laisser des expressions: les types de données réciproquement réciproques correspondent à l'utilisation de let rec (ou mieux à type rec faute d'une meilleure expression). Quels sont les avantages de pouvoir définir des types de données mutuellement récursifs? Mon exemple de foobar est trivial. Pouvez-vous penser à des utilisations non triviales de types de données mutuellement récursifs?

Answer 1

ivg répondu à votre question, mais voici un type non trivial mutuellement récursive.

module Stream = struct 

    type 'a t = unit -> 'a node 
    and 'a node = Nil 
       | Cons of 'a * 'a t 

end 

C'est le type réel de flux de la colonne vertébrale paresseux. Cela dit, vous pouvez construire sans les types mutuellement récursifs

type 'a t = Stream of (unit -> ('a * 'a t) option) 

Désinvolte ma pensée est que vous pouvez toujours réduire une famille de types mutuellement récursifs en un seul si vous voulez (mais peut-être pas OCaml l'encodage I Je pense à faire un usage non trivial des indices de type dépendants), mais il peut certainement être plus clair directement.

Answer 2

Utilisez and

type foo = Foo of bar 
and bar = Bar of foo