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

我很困惑

其中 (Just x) = integerToNat $ i-1

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

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

Answer 1

Haskell context free syntax，有一个关于函数右手边（rhs）的条目：

rhs → =exp [wheredecls]
| gdrhs [where 声明]

这意味着我们必须查看decls 以获取where 语法。 decls 是decls 的序列：

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

decl 又有两个可能的规则：

decl→性别
| (funlhs | pat) 右耳

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

模式可以是变量、通用构造函数、限定构造函数、文字、通配符、列表模式、元组模式、无可辩驳的模式等。然后可以找到模式的整个语法here。所以简而言之，它就像函数头部的模式匹配一​​样工作。