mẫu phù hợp trong GHCi

Question

Trong exercice trường

Tôi có Chức năng này

bar :: Float -> Float -> Float 
bar x 0 = 0 
bar 0 y = 0 
bar x y = x * y 

tôi gõ nó trong GHC như

let bar x 0 = 0; bar 0 y = 0; bar x y = x * y 

và đánh giá

bar foo 0 
bar 0 foo 

Tôi đã yêu cầu sửa đổi thanh để sử dụng '|' vì vậy tôi muốn làm một cái gì đó như:

let bar x y = | x 0 = 0 | 0 y = 0 | x y = x * y 

nhưng trong ghci tôi đã

parse error on input '=' 

Làm thế nào tôi có thể làm điều đó trong GHCi? Thực tế việc sử dụng kết hợp mẫu ('|') có thay đổi gì không?

Answer 1

Nhìn vào cú pháp cho việc sử dụng lính gác:

bar x y | x == 0  = 0 
     | y == 0  = 0 
     | otherwise = x * y 

viết trên một dòng trong GHCi:

let bar x y | x == 0 = 0 | y == 0 = 0 | otherwise = x * y 

Answer 2

Sử dụng file

Đừng gõ mã của bạn trực tiếp vào ghci trừ khi nó thực sự là một lớp lót.

Lưu mã của bạn trong tệp văn bản có tên là PatternMatch.hs và tải mã đó bằng ghci bằng cách nhập.

:l PatternMatch.hs 

và sau đó nếu bạn thực hiện thay đổi (và tiết kiệm), bạn có thể tải lại tập tin trong ghci bằng cách gõ

:r 

Ngoài ra, bạn có thể đặt tên cho tập tin của bạn sau đó thực hiện họ đang ở, hoặc chỉ có một Temp.hs reusablle nếu nó thực sự là mã throwaway.

Bằng cách lưu nội dung vào tệp văn bản, bạn có thể chỉnh sửa và sử dụng lại dễ dàng hơn nhiều.

Modules

Sau đó bạn sẽ thu thập các chức năng có liên quan với nhau bằng một mô-đun thích hợp, để họ có thể được nhập khẩu vào các chương trình khác. Ví dụ, bạn có thể có

module UsefulStuff where 

pamf = flip fmap 

lưu trong một tập tin gọi là UsefulStuff.hs và sau đó trong tập tin khác bạn có thể

import UsefulStuff 

và sau đó sử dụng các chức năng từ UsefulStuff đó.

Mô-đun quá mức cần thiết cho những gì bạn đang làm bây giờ, nhưng nhận được quy trình chỉnh sửa, lưu, biên dịch lại, thử nghiệm, lặp lại, bạn sẽ tiết kiệm cho mình một chút công sức.