Haskell --- Использование "пусть" в "делать" синтаксис в GHCI

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

Да, вы можете использовать фигурные скобки вокруг Выпускаемое связывания (ей) неоднозначности синтаксического анализа:

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, и позже он не работает.