Haskell: "La última declaración en una construcción 'do' debe ser una expresión"

Question

Estoy revisando el libro Natural Language Processing for Working Programmers. El libro usa Haskell, con el que no tengo mucha experiencia. El código siguiente genera un error en GHCi

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

Este es el mensaje de error devuelto

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

Todas las respuestas que he encontrado parece sugerir que es un error sangría, pero en lo que Puedo decir que la sangría parece correcta. Alguna idea de cual puede ser el problema?

Answer 1

He escrito su código en ghci 7.0.3 y no he recibido ningún error.

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] 

Editar: Cuando uso ghci 6.12.1 tal como está empaquetado en Ubuntu 10.04, me sale el mismo error que tú.

Answer 2

Los símbolos de :{ y :} no son parte de Haskell, creo que tiene algo que ver con el texto que está leyendo. Además, el código que ha publicado tiene una lambda utilizada como una lista de mónadas. Pruebe esto:

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