Bagaimana cara mendefinisikan fungsi dalam ghci melintasi beberapa baris?

Saya mencoba mendefinisikan fungsi sederhana apa pun yang membentang beberapa baris dalam ghci, ambil yang berikut sebagai contoh:

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

Sejauh ini saya sudah mencoba menekan Enter setelah baris pertama:

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

Saya juga telah mencoba untuk menggunakan :{dan :}perintah tetapi saya tidak sampai jauh:

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

Saya menggunakan GHC Interactive versi 6.6 untuk Haskell 98 di Linux, apa yang saya lewatkan?

Untuk penjaga (seperti contoh Anda), Anda bisa meletakkan semuanya di satu baris dan berfungsi (penjaga tidak peduli dengan jarak)

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

Jika Anda ingin menulis fungsi Anda dengan beberapa definisi yang cocok dengan pola pada argumen, seperti ini:

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

Kemudian Anda akan menggunakan kawat gigi dengan tanda koma yang memisahkan definisi

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

GHCi sekarang memiliki mode input multiline, diaktifkan dengan: set + m. Sebagai contoh,

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

Dan benar, tetapi :{dan :}masing-masing harus muncul di baris mereka sendiri:

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

Ini juga berinteraksi dengan aturan tata letak, jadi ketika menggunakan notasi mungkin lebih mudah untuk menggunakan kawat gigi dan semi-titik dua secara eksplisit. Misalnya, definisi ini gagal:

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

Tapi itu berfungsi ketika kawat gigi dan semi-titik dua ditambahkan:

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

Ini hanya akan sangat berarti ketika menempelkan definisi dari file, di mana indentasi dapat berubah.

Sepertinya :{dan :}merupakan fitur yang cukup baru. Anda mungkin perlu meningkatkan GHC.

Edit: dikonfirmasi, lihat http://www.haskell.org/ghc/docs/6.8.2/html/users_guide/release-6-8-2.html

Jika Anda tidak ingin meningkatkan GHC hanya untuk :{dan :}, Anda harus menulis semuanya dalam satu baris:

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

Saya tidak mengetahui adanya definisi tunggal dalam Haskell yang harus ditulis pada banyak baris. Hal di atas memang bekerja di GHCi:

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

Untuk ekspresi lain, seperti doblok, Anda harus menggunakan sintaks non-tata letak dengan kurung kurawal dan titik koma (eugh).

Saya menggunakan GHCi, versi 8.2.1 di macOS Catalina 10.15.2. Berikut ini adalah bagaimana saya menempatkan kedua deklarasi tipe fungsi dan penjaga. Perhatikan bilah vertikal di sebelah kiri adalah untuk beberapa baris GHCi.

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

Sepertinya menyisipkan kedua baris sekaligus atau menggunakan control-enter untuk setiap baris baru menyimpan semuanya, setidaknya di https://repl.it/languages/haskell . Anda akan melihat 2 titik di awal baris kedua. Atau letakkan di file dan: muat file (: l main). Kenapa perut tidak bekerja dengan angka negatif? Oh, Anda harus meletakkan tanda kurung di sekitar nomor itu.

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

   abs (-1)