¿Cómo se define una función en ghci en múltiples líneas?

Question

Estoy tratando de definir cualquier función simple que abarca varias líneas en ghci, tome la siguiente como un ejemplo:

let abs n | n >= 0 = n 
      | otherwise = -n 

Hasta ahora he intentado presionar Enter después de la primera línea:

Prelude> let abs n | n >= 0 = n 
Prelude>   | otherwise = -n 
<interactive>:1:0: parse error on input `|' 

también he intentado utilizar los comandos y :{:} pero no obtienen el momento:

Prelude> :{ 
unknown command ':{' 
use :? for help. 

estoy usando G HC Interactive versión 6.6 para Haskell 98 en Linux, ¿qué me estoy perdiendo?

Answer 1

para los guardias (como el ejemplo), sólo puede poner a todos en una sola línea y funciona (guardias no se preocupan por el espaciamiento)

let abs n | n >= 0 = n | otherwise = -n 

si desea escribir su función con múltiples definiciones que el ajuste de patrones en los argumentos, así:

fact 0 = 1 
fact n = n * fact (n-1) 

allí tendría que utilizar llaves con punto y coma que separa las definiciones

let { fact 0 = 1 ; fact n = n * fact (n-1) } 

Answer 2

Parece que :{ y :} son una característica bastante nueva. Es posible que deba actualizar GHC.

Editar: confirmada, ver http://www.haskell.org/ghc/docs/6.8.2/html/users_guide/release-6-8-2.html

Answer 3

Si no desea actualizar GHC sólo para :{ y :}, tendrá que escribir en una sola línea:

> let abs' n | n >= 0 = n | otherwise = -n 

I' m no conoce ninguna definición única en Haskell que debe escribir en múltiples líneas. Lo anterior trabaja de hecho en GHCi:

> :t abs' 
abs' :: (Num a, Ord a) => a -> a 

Para otras expresiones, tales como do bloques, tendrá que utilizar la sintaxis no diseño con los apoyos y punto y coma (rizado EuGH).

Answer 4

Dan es correcta, pero :{:} y debe aparecer cada uno en su propia línea:

> :{ 
> let foo a b = a + 
>   b 
> :} 
> :t foo 
foo :: (Num a) => a -> a -> a 

Esto también interactúa con la regla de diseño, por lo que durante su utilización notación podría ser más fácil de usar aparatos ortopédicos y semi dos puntos explícitamente Por ejemplo, esta definición falla:

> :{ 
| let prRev = do 
| inp <- getLine 
| putStrLn $ reverse inp 
| :} 
<interactive>:1:18: 
    The last statement in a 'do' construct must be an expression 

Pero funciona cuando se añaden los apoyos y puntos y comas:

> :{ 
| let prRev = do { 
| inp <- getLine; 
| putStrLn $ reverse inp; 
| } 
| :} 
> :t prRev 
prRev :: IO() 

Esto sólo es realmente importa al pegar las definiciones de un archivo, donde la sangría podría cambiar.

Answer 5

GHCi ahora tiene un modo de entrada multilínea, habilitado con: set + m.Por ejemplo,

Prelude> :set +m 
Prelude> let fac 0 = 1 
Prelude|  fac n = n * fac (n-1) 
Prelude| 
Prelude> fac 10 
3628800