Haskell中的守卫方程式

Question

有人可以为我提供一个易于理解的解释方法守护方程式，因为它在Haskell中使用及其数学意义？

Answer 1

哈斯克尔卫兵可以被看作是一个数学函数分段定义输入。

foo x | x < 0 = bar 
     | x < 5 = baz 
     | x < 20 = quux 
     | otherwise = quaffle 

将由数学家喜欢这样写：

foo(x) = { bar, if x < 0 
      baz, if x >= 0 && x < 5 
      quux, if x >= 5 && x < 20 
      quaffle, if x >= 20 

每一个Haskell功能的卫兵隐含携带所有它前面的警卫的否定，因为他们之后尝试一个其他。

Haskell选择在等号的左边写保护，使其更容易遵循控制流程。如果您选择阅读|作为'那样'，那么它变得相当直观。

Answer 2

守护方程是一个piecewise function的Haskell等价构造。

Answer 3

守护方程是一个方程（关于相等的陈述），其涉及所谓的个案区分。一个例子是：

fac :: Integer -> Integer 
fac n | n > 0  = n * fac (n - 1) 
     | otherwise = 1 

这是factorial function的定义。数学家会写，

0！根据定义，= 1。对于所有值n大于,n！可以根据（n - 1）来定义！。 0的情况并非如此！。这就是需要区分两种情况的原因。这就是守卫方程式所做的。