Phương pháp nào ưu tiên để viết "bảo vệ"?

Question

Tôi đã tạo một chức năng mà tôi có thể sử dụng (theo như tôi biết) biểu thức hoặc bảo vệ trường hợp.

foo a b c = case a of 1 -> [...] 
         2 -> [...] 
         3 -> [...] 
         [...] 
         otherwise -> error "..." 

hoặc

foo a b c | a == 1 = [...] 
      | a == 2 = [...] 
      | a == 3 = [...] 
      | [...] 
      | otherwise = error "..." 

Vì vậy, câu hỏi là: có những 2 (trường hợp hoặc bảo vệ) là “tốt hơn” mã hóa? Về cơ bản có giống nhau không?

Answer 1

Kiểu đầu tiên được coi là kiểu tốt hơn, vì 2 lý do.

Trước hết: Nhiều người sẽ nói rằng có vẻ tốt hơn, vì bạn không phải nhập tất cả các số ==. Đây là một lý do rất chủ quan, tất nhiên. Ngoài ra, bạn sẽ thường thậm chí không đưa ra một tuyên bố trường hợp mới, nhưng chỉ phù hợp với các đối số trong danh sách đối số chức năng như vậy:

foo 1 b c = ... -- etc 
... 
foo _ b c = ... -- for the "otherwise" part 

Điều này làm cho mã thậm chí nhỏ gọn hơn và dễ đọc, mà nhiều người thích.

Thứ hai, thực sự có sự khác biệt ngữ nghĩa. Hãy tưởng tượng rằng bạn có một kiểu dữ liệu như thế này:

data Cake = Apple | Cheese | Cream 

Nếu bạn sử dụng phương pháp đầu tiên, bạn kết hợp với các nhà thầu trong biểu thức case..of:

case a of 
    Apple -> "fruit" 
    _  -> "not fruit" 

Tuy nhiên, nếu bạn cố gắng làm một bảo vệ biểu hiện của một số loại, như thế này:

| a == Apple = "fruit" 
| otherwise = "not fruit" 

... nó sẽ không thực sự làm việc, bởi vì loại Cake không có một thể hiện Eq, do đó bạn không thể sử dụng == để so sánh hai giá trị. Giới thiệu một cá thể Eq (với deriving (Eq) sau khi định nghĩa dữ liệu) không phải lúc nào cũng muốn, do đó không phải thực hiện trong trường hợp này có thể là đáng kể.

Answer 2

Khi bảo vệ có thể được viết lại dưới dạng tuyên bố trường hợp (không bảo vệ) trên một trong các tham số, nó không thực sự cần thiết. I E. bạn chỉ có thể viết như sau:

foo 1 b c = [...] 
foo 2 b c = [...] 
foo 3 b c = [...] 
[...] 

Cách nào ưu tiên để viết. Bạn sẽ sử dụng bảo vệ khi điều kiện bạn muốn không thể được thể hiện dưới dạng mẫu. Và bạn sẽ sử dụng câu lệnh khi bạn cần khớp với một thứ khác với một trong các tham số.