条款适用于多种模式的地方

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在两个案例分支中均可见。