变量未在范围上的错误使用功能卫士

Question

我尝试使用下面的代码打印在Haskell链表：

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

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

和获取编译错误：

: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. 

虽然我能够使用没有警卫的模式匹配来做同样的事情。

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

第一个代码有什么问题？

Answer 1

通过使用相等性检查，您不会做模式匹配：有可能两个不同的模式被认为是相等的。

所以你可以做的是定义一个模式在你的函数的一个子句的头部。例如：

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

所以现在哈斯克尔会，因为如果它与Node v n模式匹配，和一个给定的List检查，如果这样解压元素和分配头v和尾部n。

但是我们仍然可以改进代码。通常你最好不要使用通配符模式，而是使用所有可能的模式。因为如果你以后想改变的List定义，编译器可以给你，你忘了图案的警告：

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

我们可以改善的另一件事是在show '_'使用"_"。由于show '_'会将内容加到中。例如：

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

最后，我们还可以使用 “缺点” 建设上有一个单列表附加：

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