IO定义变量的范围

Question

我发现在 Haskell 中进行 IO 时，使用 <- 运算符分配的变量仅在紧随其后的语句的范围内 - 而不是在 where 子句中。

例如：

main :: IO()
main =  do
          s <- getLine
          putStr magic
            where
              magic = doMagic s

这将不起作用，因为 s 不在范围内。我做了一些研究来证实这一点，并发现这篇文章：

与 let 表达式中变量的作用域涵盖所有定义不同，<- 定义的变量仅在以下语句的作用域内。

那么如何才能使 s 可在 where 子句中使用呢？

Answer 1

除了一般的 let 形式之外，还有一种特殊的 let 形式可以与 do 语法一起使用，您可以使用它来代替：

main :: IO()
main =  do
          s <- getLine
          let magic = doMagic s
          putStr magic

magic 在块中的所有以下行中都可用。

Answer 2

嗯，magic 是一个函数。因此，您可以执行以下操作：

magic m = doMagic m

或者：

magic = \m-> doMagic m

并像这样调用它：

putStrLn $ magic s

当然，正如您已经研究过的那样，当您可以重用计算的 magic 时，明智的做法是使用 let ... 在 表达式中，并嵌套调用：

let magic_str = magic s in
  putStrLn magic_str

Answer 3

let 是处理这个问题的实用方法。但也许值得了解一下这里到底发生了什么。 do 语句并不是导致范围界定问题的原因。

请记住，这

 main =  do
      s <- getLine
      putStr magic
        where
          magic = doMagic s

相当于：

main = getline >>= \s ->
       putStr magic
          where magic = doMagic s

如果我们放入一些括号，则为：

main = getline >>= (\s -> putStr magic) where magic = doMagic s

这就是 s 的作用域的来源：它是 lambda 表达式的参数，并且仅存在于该 lambda 表达式中。尝试在该 lambda 之外的 where 子句中使用它，您会收到“不在范围内”错误。

let 之所以有效，是因为 let 和 where 解析方式不同。为了清楚起见，用括号表示：

foo   = (\x -> let y = x in y)  -- Works fine
foo'' = (\x -> y) where y = x   -- y is not in scope

这就是导致问题的原因；它不是特定于 IO 或 do 语句。