我正在尝试在ghci中定义跨越多行的任何简单函数,以以下示例为例:
let abs n | n >= 0 = n
| otherwise = -n
到目前为止,我已经尝试过在第一行之后按Enter键:
Prelude> let abs n | n >= 0 = n
Prelude> | otherwise = -n
<interactive>:1:0: parse error on input `|'
我也曾尝试使用:{
和:}
命令,但距离不远:
Prelude> :{
unknown command ':{'
use :? for help.
我在Linux上使用适用于Haskell 98的GHC Interactive版本6.6,我缺少什么?
对于后卫(如您的示例),您可以将它们全部放在一行上,并且可以正常工作(后卫不在乎间距)
let abs n | n >= 0 = n | otherwise = -n
如果您要编写具有多个与参数匹配的定义的函数,如下所示:
fact 0 = 1
fact n = n * fact (n-1)
然后您将使用大括号和分号来分隔定义
let { fact 0 = 1 ; fact n = n * fact (n-1) }
GHCi现在具有多行输入模式,通过:set + m启用。例如,
Prelude> :set +m
Prelude> let fac 0 = 1
Prelude| fac n = n * fac (n-1)
Prelude|
Prelude> fac 10
3628800
Dan是正确的,但是:{
和:}
必须分别出现在自己的行上:
> :{
> let foo a b = a +
> b
> :}
> :t foo
foo :: (Num a) => a -> a -> a
这也与布局规则交互,因此,在使用do表示法时,显式使用花括号和分号可能会更容易。例如,此定义失败:
> :{
| let prRev = do
| inp <- getLine
| putStrLn $ reverse inp
| :}
<interactive>:1:18:
The last statement in a 'do' construct must be an expression
但是在添加括号和分号时有效:
> :{
| let prRev = do {
| inp <- getLine;
| putStrLn $ reverse inp;
| }
| :}
> :t prRev
prRev :: IO ()
这仅在从文件中粘贴定义时才有意义,缩进可能会在其中更改。
[:{
和:}
看起来是一个相当新的功能。您可能需要升级GHC。
编辑:已确认,请参见http://www.haskell.org/ghc/docs/6.8.2/html/users_guide/release-6-8-2.html
如果您不想只为:{
和:}
升级GHC,则需要全部写在一行上:
> let abs' n | n >= 0 = n | otherwise = -n
我不知道Haskell中的任何定义,[[必须写在多行上。以上确实适用于GHCi:
> :t abs'
abs' :: (Num a, Ord a) => a -> a
对于其他表达式,例如do
块,您需要对花括号和分号(eugh)使用非布局语法。
λ: let abs' :: (Num a, Ord a) => a -> a
| abs' n | n >= 0 = n | otherwise = -n
|
λ: abs' 7
7
λ: abs' (-7)
7