haskell - IO 定义变量的范围

Question

我发现在 Haskell 中执行 IO 时，使用 <- 分配的变量运算符仅在紧跟在它们之后的语句的范围内 - 不在 where 中条款。

例如:

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

这不适用于 s不在范围内。我做了一些研究来证实它，发现 this文章:

Unlike a let expression where variables are scoped over all definitions, the variables defined by <- are only in scope in the following statements.

那么我该如何制作 s可用于 where条款？

Answer 1

除了一般的 let 形式之外，还有一个特殊的 let 形式用于 do 语法，您可以改用:

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

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