Where 子句适用于多种模式

Question

我有一个具有多种模式的函数。我有两个或多个共享相同的表达式，我想替换它们。现在，如果我在底部写一个where 子句，将其缩进并定义一个新变量，因为我想替换它的表达式将不起作用。

例子：

myFunction firstParam secondParam = expression
myFunction firstParam _ = 1 + expression
    where expression = firstParam + secondParam

编译器消息：

Not in scope: `expression'
Not in scope: `secondParam'

我该怎么做？

Answer 1

您可以将模式匹配项分解为一个案例。例如：

myFunction :: Int -> Int -> Int
myFunction a b = case (a, b) of
  (0, 4) -> x
  (_, b) -> x + b
  where
    x = a + b

这里x 在两个case 分支中都可见。