Làm thế nào để xác định một hàm trong ghci trên nhiều dòng?

Tôi đang cố gắng xác định bất kỳ hàm đơn giản nào kéo dài nhiều dòng trong ghci, lấy ví dụ sau đây làm ví dụ:

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

Cho đến nay tôi đã thử nhấn Enter sau dòng đầu tiên:

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

Tôi cũng đã cố gắng sử dụng các lệnh :{và :}nhưng tôi không đi được xa:

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

Tôi đang sử dụng GHC Interactive phiên bản 6.6 cho Haskell 98 trên Linux, tôi còn thiếu gì?

Đối với lính canh (như ví dụ của bạn), bạn chỉ có thể đặt tất cả chúng trên một dòng và nó hoạt động (lính canh không quan tâm đến khoảng cách)

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

Nếu bạn muốn viết hàm của mình với nhiều định nghĩa mà mẫu khớp với các đối số, như thế này:

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

Sau đó, bạn sẽ sử dụng dấu ngoặc nhọn với dấu chấm phẩy phân tách các định nghĩa

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

GHCi hiện có chế độ đầu vào đa dòng, được bật với: set + m. Ví dụ,

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

Dan là đúng, nhưng :{và :}từng phải xuất hiện trên một dòng riêng của họ:

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

Điều này cũng tương tác với quy tắc bố cục, vì vậy khi sử dụng ký hiệu, có thể dễ dàng sử dụng dấu ngoặc và dấu hai chấm một cách rõ ràng. Ví dụ: định nghĩa này không thành công:

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

Nhưng nó hoạt động khi niềng răng và dấu chấm phẩy được thêm vào:

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

Điều này sẽ chỉ thực sự quan trọng khi dán định nghĩa từ một tệp, nơi thụt lề có thể thay đổi.

Nó trông giống như :{và :}là một tính năng khá mới. Bạn có thể cần nâng cấp GHC.

Chỉnh sửa: đã xác nhận, xem http://www.haskell.org/ghc/docs/6.8.2/html/usftimeguide/release-6-8-2.html

Nếu bạn không muốn nâng cấp GHC chỉ cho :{và :}, bạn sẽ cần phải viết tất cả trên một dòng:

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

Tôi không biết bất kỳ định nghĩa duy nhất nào trong Haskell phải được viết trên nhiều dòng. Trên đây thực sự hoạt động trong GHCi:

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

Đối với các biểu thức khác, chẳng hạn như docác khối, bạn sẽ cần sử dụng cú pháp không bố cục với dấu ngoặc nhọn và dấu chấm phẩy (eugh).

Tôi đang sử dụng GHCi, phiên bản 8.2.1 trên macOS Catalina 10.15.2. Sau đây là cách tôi đặt cả khai báo kiểu hàm và bộ bảo vệ với nhau. Lưu ý các thanh dọc bên trái là dành cho nhiều dòng GHCi.

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

Có vẻ như dán cả hai dòng cùng một lúc hoặc sử dụng control-enter cho mỗi dòng mới giữ cho tất cả các dòng cùng nhau, ít nhất là tại https://repl.it/lacular/haskell . Bạn sẽ thấy 2 dấu chấm ở đầu dòng thứ hai. Hoặc đặt nó vào một tệp và: tải tệp (: l chính). Làm thế nào abs không hoạt động với số âm? Oh bạn phải đặt dấu ngoặc đơn xung quanh số.

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

   abs (-1)