HASKELL --- L'utilisation de "laisser" dans un "do" syntaxe dans GHCi

Question

Je sais que cela fonctionne:

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

Outre ce morceau de code lorsqu'il est chargé dans GHCi:

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

mais cela ne fonctionne pas:

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

donnant le message d'erreur suivant:

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

Pourquoi cela ne fonctionne-t-il pas? Puis-je le faire fonctionner? Si oui, alors comment?

Answer 1

Oui, vous pouvez utiliser des accolades autour de la liaison let (s) pour désambiguïser l'analyse syntaxique:

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

Answer 2

Pour compléter la réponse par McKenna, l'erreur peut être expliqué comme suit: comparer ces deux lignes

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

Un lecteur humain peut voir qu'ils signifient réellement

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

mais l'analyseur n'est pas C'est intelligent. Lorsque l'analyseur Haskell voit la partie de code commun

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

il doit décider si le dernier ; appartient au niveau do (comme dans le premier cas ci-dessus), ou au niveau let (deuxième cas). Il s'avère qu'il choisit let, et échoue plus tard.