Birden fazla satırda ghci'de bir işlev nasıl tanımlanır?

Ghci birden fazla satır yayılan herhangi bir basit işlevi tanımlamak çalışıyorum, aşağıdaki örnek alın:

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

Şimdiye kadar ilk satırdan sonra Enter tuşuna basmayı denedim:

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

Ayrıca :{ve :}komutlarını kullanmaya çalıştım ama çok uzağa gitmiyorum:

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

Linux'ta Haskell 98 için GHC Interactive sürüm 6.6 kullanıyorum, ne eksik?

Muhafızlar için (örneğin örnek olarak) hepsini tek bir satıra koyabilirsiniz ve işe yarar (muhafızlar aralıklarla ilgilenmez)

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

İşlevinizi, aşağıdaki gibi bağımsız değişkenlerle eşleşen çoklu tanımlarla yazmak istiyorsanız, şöyle:

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

Sonra noktalı virgüllerle tanımları ayıran parantez kullanırsınız

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

GHCi artık set + m ile etkinleştirilen çok satırlı giriş moduna sahip. Örneğin,

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

Dan doğru ama :{ve :}her biri kendi satırında yer almalıdır:

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

Bu, düzen kuralıyla da etkileşime girer, bu nedenle do-notasyonunu kullanırken diş telleri ve noktalı virgüllerin açıkça kullanılması daha kolay olabilir. Örneğin, bu tanım başarısız olur:

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

Ancak diş telleri ve noktalı virgüller eklendiğinde çalışır:

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

Bu, yalnızca girintinin değişebileceği bir dosyadan tanımları yapıştırırken gerçekten önemli olacaktır.

Görünüşe göre :{ve :}oldukça yeni bir özellik. GHC'yi yükseltmeniz gerekebilir.

Düzenleme: onaylandı, bkz. Http://www.haskell.org/ghc/docs/6.8.2/html/users_guide/release-6-8-2.html

GHC'yi yalnızca için yükseltmek istemiyorsanız :{ve :}hepsini bir satıra yazmanız gerekir:

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

Haskell'de birden çok satıra yazılması gereken tek bir tanımın farkında değilim . Yukarıdakiler gerçekten GHCi'de çalışıyor:

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

doBloklar gibi diğer ifadeler için, düz olmayan sözdizimini kıvırcık parantez ve noktalı virgüllerle (eugh) kullanmanız gerekir.

MacOS Catalina 10.15.2 üzerinde GHCi, sürüm 8.2.1 kullanıyorum. Aşağıda hem işlev türü bildirimini hem de korumaları bir araya getirdim. Soldaki dikey çubukların birden fazla satır için olduğunu unutmayın.

λ: let abs' :: (Num a, Ord a) => a -> a
 |     abs' n | n >= 0 = n | otherwise = -n
 | 
λ: abs' 7
7
λ: abs' (-7)
7

Her iki satırı aynı anda yapıştırmak veya her yeni satır için control-enter kullanmak, en azından https://repl.it/languages/haskell adresinde hepsini bir arada tutar . İkinci satırın başında 2 nokta göreceksiniz. Veya bir dosyaya koyun ve: dosyayı yükleyin (: l main). Neden abs negatif sayılarla çalışmıyor? Ah sayının etrafına parantez koymalısınız.

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

   abs (-1)