haskell - where 语法是如何工作的？

Question

我正在从 GitHub 寻找这个解决方案，以解决 Haskell from First Principles 一书中提出的问题。这是代码

data Nat =
    Zero
  | Succ Nat deriving (Eq, Show)

integerToNat :: Integer -> Maybe Nat
integerToNat i
  | i < 0  = Nothing
  | i == 0 = Just Zero
  | i > 0  = Just (Succ x) where (Just x) = integerToNat $ i-1

我很困惑

where (Just x) = integerToNat $ i-1

我以为我只能在 where 中将表达式分配给标识符。但它看起来像 (Just x) 解压分配的表达式的值并将 x 分配回 (Succ x)。

有人能解释一下为什么会这样吗？

Answer 1

Haskell context free syntax , 有一个关于函数的右侧 (rhs) 的条目:

rhs → = exp [where decls]
        | gdrhs [where decls]

所以这意味着我们必须查看 decls 以获得 where 语法。 decls 是 decl 的序列:

decls → { decl₁; ...; decl_n }

decl 也有两个可能的规则:

decl→ gendecl
        | (funlhs | pat) rhs

这意味着我们可以在 where 子句的左侧声明模式 (pat)。实际上在 where a = 1 中，a 可以说已经是一种模式了。该模式由一个变量组成。但是构造函数、别名运算符等都可以放在 where 子句的左侧。

模式可以是变量、泛型构造函数、限定构造函数、文字、通配符、列表模式、元组模式、不可反驳模式等。然后可以找到模式的完整语法here .所以简而言之，它的工作方式类似于函数头部的模式匹配。