Tipos recursivos en OCaml?

Question

Hola, esta es la primera vez que publico en Stack Overflow y me he encontrado con un problema al intentar construir un tipo en OCaml

Estoy intentando construir un árbol tipo que tenga nodos/hojas/etc. Esto es lo que tengo hasta ahora.

type ('a, 'b) tree = Empty | Leaf of 'b | Node of ('a * tree) | .... 

Mi nodo se supone que es un tipo que contiene su nombre y otro árbol como una tupla. Pero cuando traté de compilar esto, dijo que el árbol requería dos argumentos. Así que probé:

type ('a, 'b) tree = Empty | Leaf of 'b | Node of ('a * tree ('a*'b)) 

y todavía recibía un error. ¿Algo que notaste que estaba haciendo mal? ¡Gracias!

Answer 1

type ('a, 'b) tree = Empty | Leaf of 'b | Node of 'a * ('a, 'b) tree 

Es probable que desee que sus nodos dos tienen más de un hijo, aunque

type ('a, 'b) tree = Empty | Leaf of 'b | Node of ('a, 'b) tree * 'a * ('a, 'b) tree 

PD: Cuidado que en una declaración de tipo, Foo of bar * baz y Foo of (bar * baz) no son lo mismo: la primera es un constructor Foo con dos campos, el segundo tiene solo un campo, que es del tipo (bar * baz).