一元脱糖哈斯克尔

Question

阅读关于现实世界 Haskell 中单子的章节。我遇到了 do 符号的脱糖，特别是当我们有类似 pattern <- action 的东西时。

-- file: ch14/Do.hs
doNotation3 =
  do pattern <- act1
     act2
     {- ... etc. -}
     actN

上面的例子被脱糖成：

-- file: ch14/Do.hs
translated3 =
  let f pattern = do act2
                   {- ... etc. -}
                   actN
      f _     = fail "..."
      in act1 >>= f

我很难理解如何在 let 子句中有两个模式匹配案例？

我不明白你怎么能在同一个 let 子句中拥有 f pattern 和 f _。我尝试查找是否可以在 let 子句中有多个模式匹配，但据我所见，大多数人使用 case 语句来做到这一点。

我需要一些帮助来了解这里实际发生了什么？

Answer 1

我很难理解如何在 let 子句中有两个模式匹配案例？

好吧，你可以：

example :: Int -> Int
example n = 
  let f 0 = 1
      f x = x * f (x - 1)
  in  f n

请记住，这是 let … in… 表达式，而不是 do 的 let。对于这样一个表达式中的所有绑定，（几乎）与通常的顶级表达式相同的规则，例如你可以使用模式匹配。

如果你把它转换成where，可能会容易一些：

example :: Int -> Int
example n = f n
  where            
      f 0 = 1
      f x = x * f (x - 1)