Cách xác định hàm trong ghci trên nhiều dòng?

Question

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

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

Cho đến nay tôi đã cố gắng nhấn Enter sau khi 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 :{ và :} lệnh nhưng tôi không nhận được đến nay:

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

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

Answer 1

cho bảo vệ (như ví dụ của bạn), bạn chỉ có thể đặt chúng trên cùng một dòng và nó hoạt động (bảo vệ 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 chức năng của bạn với nhiều định nghĩa rằng mô hình phù hợp trên 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 với dấu chấm phẩy tách các định nghĩa

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

Answer 2

Có vẻ như :{ và :} là một tính năng khá mới. Bạn có thể cần phải nâng cấp GHC.

Edit: khẳng định, xem http://www.haskell.org/ghc/docs/6.8.2/html/users_guide/release-6-8-2.html

Answer 3

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 nó trên cùng một dòng:

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

tôi m không biết bất kỳ định nghĩa đơn nào trong Haskell rằng phải được viết trên nhiều dòng. Ở trên không thực sự làm việc trong GHCi:

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

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

Answer 4

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 

này cũng tương tác với các nguyên tắc bố trí, vì vậy khi sử dụng làm-ký hiệu nó có thể được dễ dàng hơn để sử dụng niềng răng và bán 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() 

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

Answer 5

GHCi hiện có chế độ nhập nhiều 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