如何在 where 子句中使用来自 do 块赋值行的变量？

Question

我有以下代码示例：

{-# LANGUAGE ScopedTypeVariables #-}

main = do
  putStrLn "Please input a number a: "
  a :: Int  <- readLn
  print a

  putStrLn "Please input a number b: "
  b :: Int  <- readLn
  print b

  putStrLn ("a+b+b^2:" ++ (show $ a+b+c))
    where c = b^2

由于某些原因我不能在 where 子句中使用变量 b，我得到的错误如下：

Main3.hs:13:15: error: Variable not in scope: b
   |
13 |     where c = b^2
   |               ^

有什么想法可以让 b 在 where 子句中可用吗？

Answer 1

使用let代替where：

{-# LANGUAGE ScopedTypeVariables #-}

main = do
  putStrLn "Please input a number a: "
  a :: Int  <- readLn
  print a

  putStrLn "Please input a number b: "
  b :: Int  <- readLn
  print b

  let c = b^2
  putStrLn ("a+b+b^2:" ++ (show $ a+b+c))

问题的原因是 where 子句中的变量在所有 main 的范围内，但 b 直到 [=16= 之后才在范围内].一般来说，where 子句不能引用绑定在 do 块内的变量（或 = 右侧的任何地方，就此而言：例如，f x = y*2 where y = x+1 是很好，但 f = \x -> y*2 where y = x+1 不是）。

如何在 where 子句中使用来自 do 块赋值行的变量？

How to use variable from do block assignment line in a where clause?

monads

haskell

scope

where-clause

do-notation