Real World Haskell Capítulo 3 ejercicio: Árbol Binario con 1 constructor de datos

Question

Capítulo 3 define el siguiente tipo recursivo para representar un árbol binario:

data Tree a = Node a (Tree a) (Tree a) 
      | Empty 
       deriving (Show) 

El ejercicio requiere implemento del mismo tipo utilizando un constructor único valor, utilizando el tipo "Tal vez" para referirse a los nodos secundarios:

(del Capítulo 3 Ejercicio 2 en la página 60)

"definir un tipo de árbol que tiene un solo constructor, como nuestro ejemplo de Java en lugar del vacío. constructor, use el tipo Maybe para referirse r a los hijos de un nodo ".

La solución que se me ocurrió es la siguiente:

data AltTree a = AltNode a (Maybe (AltTree a)) (Maybe (AltTree a)) 
       deriving (Show) 

Sin embargo, esto no permite un árbol que contiene otros árboles vacíos, tales como:

AltNode 1 (AltNode 2 Nothing Nothing) (AltNode 3 Nothing Nothing) 

y no estoy ¿Por qué, "Nothing" no es un constructor de valor para el tipo "Maybe"?

Answer 1

No es el Nothing constructor de valores que causa su error. Las dos ramas que pasa al árbol de nivel superior deben tener el tipo Maybe (AltTree a), pero tanto (AltNode 2 Nothing Nothing) como (AltNode 3 Nothing Nothing) tienen el tipo AltTree Int. Tienes que usar Just constructor de valor para crear valores de Maybe tipo de ellos. Al igual que

AltNode 1 (Just (AltNode 2 Nothing Nothing)) (Just (AltNode 3 Nothing Nothing))