Beginning Haskell - Obteniendo el error "no en alcance: constructor de datos"

Question

Estoy repasando los problemas del libro de Haskell O'Reilly. El problema que estoy trabajando es

Using the binary tree type that we defined earlier in this chapter, 
write a function that will determine the height of the tree. The height 
is the largest number of hops from the root to an Empty. For example, the 
tree Empty has height zero; Node "x" Empty Empty has height one; 
Node "x" Empty (Node "y" Empty Empty) has height two; and so on. 

estoy escribiendo mi código en un archivo llamado ch3.hs. Aquí está mi código:

36 data Tree a = Node a (Tree a) (Tree a) 
37    | Empty 
38    deriving (Show) 
39 
40 --problem 9:Determine the height of a tree 
41 height :: Tree -> Int 
42 height (Tree node left right) = if (left == Empty && right == Empty) then 0 else max (height left) (height right) 

abriendo ghci en la terminal y escribiendo: load ch3.hs. Cuando lo hago me sale el siguiente error:

Prelude> :load ch3.hs 
[1 of 1] Compiling Main    (ch3.hs, interpreted) 

ch3.hs:42:7: Not in scope: data constructor `Tree' 
Failed, modules loaded: none. 

espero que el constructor de datos de árbol debe estar allí, porque la he definido en las líneas anteriores el método de altura. Pero cuando intento cargar el archivo, me dicen que el constructor de datos no está dentro del alcance. Agradezco su ayuda y la explicación de por qué ocurre este error. Gracias, Kevin

Answer 1

Cambio

height (Tree node left right) 

a

height (Node node left right) 

Eso significa que el patrón de coincidencia trabajos sobre los constructores de la algebraic data type (ADT). Tree no es un constructor, es el nombre del ADT.

Por cierto, tiene que comentar su declaración de firma de función para compilar el código porque contiene un error.

entonces usted puede comprobar el tipo inferido a través de

 
:t height 

en ghci o hugs.

Answer 2

Usted patrón-partido contra constructores, es decir, los casos , de su Tree ADT. Tree es lo que los resume a todos.

Es mucho más sencillo como esto, y, sobre todo, correcta:

height Empty = 0 
height (Node _ l r) = 1 + max (height l) (height r) 

Answer 3

Su código es incorrecto, en varios niveles. Parece que no entendiste los tipos de datos algebraicos.

• El tipo de firma que está mal, un Tree es siempre una Tree de un tipo específico - que se llama a en su declaración, y que pueden ser de cualquier tipo (ya que no es restricción). Entonces, heigth tiene que tomar un Tree de algún tipo - un Tree SomeType, también. Puede y debe usar el tipo más genérico para SomeType, es decir, una variable de tipo como a.
• Cuando se hace una coincidencia de patrón, debe nombrar un constructor específico - Node a (Tree a) (Tree a) o Empty - para que coincida, no contra el tipo como un todo.Entonces height (Node ...) coincidiría con Node, height (Empty) coincidiría con Empty, y height (Tree ...) intentaría hacer coincidir un constructor llamado Tree, pero no hay ninguno. Ese es el mensaje de error que recibe.
• Nunca jamás comparar (a través de ==) con un constructor. Realmente funcionaría si escribieras deriving (Show, Eq). Pero debe usar la coincidencia de patrones para determinar si llegó a Empty
• Lo que lleva a: Solo está haciendo coincidir Node, no Empty - debe agregar una cláusula para Empty.
• Además, su función sigue devolviendo 0 para todas las entradas si se fija todas las cuestiones antes mencionadas. Nunca regrese otra cosa que 0 o el máximo de los niños height - que puede, a su vez, sólo se devuelven 0 o el máximo de sus niños height, etc ad infinitum. Usted tiene que incrementar el resultado en cada nivel;)