Haskell:where 子句中的绑定(bind)变量

Question

绑定(bind)变量的范围是什么？为什么我无法从 where 子句中访问它？例如，在本例中:

someFunc x y = do
  let a = x + 10
  b <- someAction y
  return subFunc
  where
    subFunc = (a * 2) + (b * 3)

这里，subFunc 可以看到 a 但看不到 b。为什么不能在 where 子句中使用绑定(bind)变量？谢谢。

Answer 1

因为这可能会导致不一致。想象一下这段代码:

printName = do
  print fullName
  firstName <- getLine
  lastName <- getLine
  return ()
  where
    fullName = firstName ++ " " + lastName

此代码不起作用，并且由于这些情况，绑定(bind)变量的使用仅限于实际绑定(bind)之后的 do block 部分。当对上面的代码进行脱糖处理时，这一点就变得很清楚:

printName =
  print fullName >>
  getLine >>= (\ firstName ->
    getLine >>= (\ lastName ->
      return ()
    )
  )
  where
    fullName = firstName ++ " " ++ lastName

在这里，我们可以看到变量 firstName 和 lastName 不在 where 子句的范围内，并且不能使用它们在该子句的任何定义中。