Haskell模式与防护器匹配

Question

假设我想在Haskell中用

data Tree = Null | Node Tree Integer Tree deriving Show

isSmall :: Tree -> Bool
isSmall _ 
  | Null = True
  | (Node a b c) = if b >= 10
                   then False
                   else isSmall a && isSmall c

错误：

test.hs:24:6: Not in scope: data constructor ‘Node’

test.hs:24:11: Not in scope: ‘a’

test.hs:24:13: Not in scope: ‘b’

test.hs:24:15: Not in scope: ‘c’

test.hs:24:27: Not in scope: ‘b’

test.hs:26:38: Not in scope: ‘a’

test.hs:26:57: Not in scope: ‘c’

Answer 1

这不是在Haskell中应该做的模式匹配吗？

不。守卫是布尔表达式，不是模式。

可以这样进行模式匹配：

isSmall :: Tree -> Bool
isSmall Null = True
isSmall (Node a b c) = b < 10 && isSmall a && isSmall c

isSmall :: Tree -> Bool
isSmall x = case x of
  Null -> True
  Node a b c -> b < 10 && isSmall a && isSmall c

{-# LANGUAGE LambdaCase #-}

isSmall :: Tree -> Bool
isSmall = \case
  Null -> True
  Node a b c -> b < 10 && isSmall a && isSmall c

也就是说，可以使用<-在guards中嵌入模式。这就是所谓的“模式卫士”：

isSmall :: Tree -> Bool
isSmall x 
  | Null <- x = True
  | Node a b c <- x = b < 10 && isSmall a && isSmall c

然而，这种语法在这里并不为您买多少东西。您仍然必须为参数指定一个名称（在本例中为x)，并且必须在任何地方显式地表示<-x。直接使用模式匹配（使用case或多函数方程）会更清楚。