HASKELL ---在GHCI的“do”语法中使用“let”

Question

我知道这有效：

do name <- getLine; let nameTag = "Hello, my name is " ++ name in putStrLn nameTag 

加载到GHCI时的这段代码：

hey = do 
    name <- getLine
    let nameTag = "Hello, my name is " ++ name
    putStrLn nameTag

但这不起作用：

do name <- getLine; let nameTag = "Hello, my name is " ++ name; putStrLn nameTag 

给出以下错误消息：

<interactive>:142:82:
  parse error (possibly incorrect indentation or mismatched brackets)

为什么不起作用？我可以让它运作吗？如果是，那怎么办？

Answer 1

是的，您可以在let绑定周围使用大括号来消除解析的歧义：

do name <- getLine; let { nameTag = "Hello, my name is " ++ name }; putStrLn nameTag

Answer 2

为了补充McKenna的答案，错误可以解释如下：比较这两行

do name <- getLine; let name1 = "One"; putStrLn name1
do name <- getLine; let name1 = "One"; name2 = "Two"; putStrLn name1

人类读者可以看到他们实际意味着

do { name <- getLine; let { name1 = "One" } ; putStrLn name1 }
do { name <- getLine; let { name1 = "One"; name2 = "Two" }; putStrLn name1 }

但解析器并不那么聪明。 当Haskell解析器看到公共代码部分

时

do name <- getLine; let name1 = "One";
                                  -- ^ --

必须决定最后;是属于do级别（如上面的第一种情况），还是属于let级别（第二种情况）。事实证明它选择了let，并在以后失败。