Variable in ihrem Umfang nicht Fehler in der Funktion der Einsatz von Wachen

Question

Ich versuche, eine verkettete Liste in Haskell mit dem folgenden Code zu drucken:

data List = Node {value:: Double, next:: List} 
      | Empty 

printList :: List -> String 
printList x | x == (Node v n) = show v ++ " " ++ printList n 
      | otherwise = show '_' 

Und die Kompilierungsfehler erhalten:

:load scratch.hs 
[1 of 1] Compiling Main    (scratch.hs, interpreted) 

scratch.hs:5:26: error: Variable not in scope: v :: Double 

scratch.hs:5:28: error: Variable not in scope: n :: List 

scratch.hs:5:38: error: Variable not in scope: v 

scratch.hs:5:53: error: Variable not in scope: n :: List 
Failed, modules loaded: none. 

Während ich Ich bin in der Lage, dasselbe zu tun, indem ich die Mustererkennung ohne Wächter benutze.

printList (Node v n) = show v ++ " " ++ printList n 
printList Empty = "" 

Was ist falsch mit dem ersten Code?

Answer 1

Sie tun nicht Mustererkennung mit einer Gleichheitsprüfung: Es ist möglich, dass zwei verschiedene Muster als gleich angesehen werden.

Also was Sie tun können, ist Definieren Sie ein Muster im Kopf einer der Klauseln Ihrer Funktion. Zum Beispiel:

printList :: List -> String 
printList (Node v n) = show v ++ " " ++ printList n 
printList _ = show '_'

So, jetzt Haskell wird, für einen bestimmten List überprüfen, ob es mit dem Node v n Muster übereinstimmt, und wenn ja das Element auspacken und den Kopf zu v und dem Schwanz n zuweisen.

Wir können jedoch den Code noch verbessern. Normalerweise verwenden Sie keine Platzhalter, sondern alle möglichen Muster. Da, wenn Sie später die Definition von List verändern wollen, kann der Compiler Sie geben eine Warnung, dass Sie ein Muster vergessen:

printList :: List -> String 
printList (Node v n) = show v ++ " " ++ printList n 
printList Empty = show '_'

Eine andere Sache, die wir verwendet "_" über show '_' verbessern können. Seit show '_' wird Zitate zum Inhalt hinzufügen. Zum Beispiel:

printList :: List -> String 
printList (Node v n) = show v ++ " " ++ printList n 
printList Empty = "_"

Endlich können wir auch eine "cons" Konstruktion über das Anhängen mit einer Singleton-Liste verwenden:

printList :: List -> String 
printList (Node v n) = show v ++ ' ' : printList n 
printList Empty = "_"