haskell - 如何在 where 子句中使用 do block 赋值行中的变量？

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

出于某种原因，我不能使用变量 b在 where子句，我得到的错误如下:

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直到 b :: Int <- readLn 之后才在范围内.一般情况下， where子句不能引用绑定(bind)在 do 内的变量 block (或 = 右侧的任何位置，就此而言:例如， f x = y*2 where y = x+1 很好，但 f = \x -> y*2 where y = x+1 不是)。