Haskell: "L'ultima istruzione in un costrutto 'do' deve essere un'espressione"

Question

Sto esaminando il libro Natural Language Processing for Working Programmers. Il libro usa Haskell, di cui non ho molta esperienza. Il seguente codice genera un errore in GHCI

:{ 
do 
    l <- [0..9] 
    ps <- (\x -> [x-1, x+2]) l 
    return ps 
:} 

Questo è il messaggio di errore restituito

The last statement in a 'do' construct must be an expression

Tutte le risposte che ho incontrato sembrano suggerire è un errore indentazione, ma per quanto riguarda Posso dire che la rientranza sembra corretta. Qualche idea su quale potrebbe essere il problema?

Answer 1

ho digitato il codice in ghci 7.0.3 e non ho avuto un errore.

Prelude> :{ 
Prelude| do 
Prelude| l <- [0..9] 
Prelude| ps <- (\x -> [x-1, x+2]) l 
Prelude| return ps 
Prelude| :} 
[-1,2,0,3,1,4,2,5,3,6,4,7,5,8,6,9,7,10,8,11] 

Edit: Quando uso ghci 6.12.1 confezionato in Ubuntu 10.04, ottengo lo stesso errore, come si.

Answer 2

I simboli di :{ e :} non fanno parte di Haskell, penso che sia qualcosa a che fare con il testo che stai leggendo. Inoltre, il codice che hai postato ha una lambda usata come lista monad. Prova questo:

do 
    l <- [0..9] 
    ps <- (\x -> [x-1, x+2]) l 
    return ps