多行语句
:{
指令开始多线模式,:}
结束它。在多行模式下,GHCi 会将换行符解释为分号,而不是指令的结尾。
ghci> :{
ghci| myFoldr f z [] = z
ghci| myFoldr f z (y:ys) = f y (myFoldr f z ys)
ghci| :}
ghci> :t myFoldr
myFoldr :: (a -> b -> b) -> b -> [a] -> b
:{
指令开始多线模式,:}
结束它。在多行模式下,GHCi 会将换行符解释为分号,而不是指令的结尾。
ghci> :{
ghci| myFoldr f z [] = z
ghci| myFoldr f z (y:ys) = f y (myFoldr f z ys)
ghci| :}
ghci> :t myFoldr
myFoldr :: (a -> b -> b) -> b -> [a] -> b