Haskell: Các hoạt động boolean không nghiêm ngặt

Question

Có cách nào để định nghĩa một hàm như sau trong Haskell?

or True  True  = True 
or True  undefined = True 
or True  False  = True 
or undefined True  = True 
or undefined False  = undefined 
or undefined undefined = undefined 
or False  True  = True 
or False  undefined = undefined 
or False  False  = False 

Tôi hiện không có trường hợp sử dụng cho nó (mặc dù tôi muốn có một), tôi chỉ quan tâm nếu có thể.

Answer 1

Tùy thuộc vào thứ tự đánh giá của bạn (thứ tự mà bạn kiểm tra giá trị), bạn có thể viết một phiên bản lười biếng:

Prelude> True || undefined 
True 
Prelude> undefined || True 
*** Exception: Prelude.undefined 

Prelude> :t or 
or :: [Bool] -> Bool 

Prelude> or [True, undefined] 
True 

trên thực tế, định nghĩa mặc định trong Haskell sẽ cư xử như thế này, vì Haskell là một lười biếng ngôn ngữ. Tuy nhiên, không có cách nào để "bỏ qua" một giá trị không xác định, mà không nhìn vào giá trị trước tiên, điều này sẽ đánh giá giá trị đó ở phía dưới, khiến cho biểu thức của bạn không được xác định.

Hãy nhớ rằng giá trị lười biếng là quà với bóng ma bên trong chúng:

Nếu bạn nhìn vào bên trong hộp, một con ma có thể giúp bạn.

Nếu việc kiểm tra đáy là quan trọng (ví dụ như một phần của kiểm tra), bạn có thể coi chúng là ngoại lệ, and intercept them. Nhưng bạn sẽ không làm điều đó trong một chức năng thuần khiết.

Answer 2

Điều này là không thể trong tiêu chuẩn Haskell, nhưng có thể được thực hiện với một thủ thuật không an toàn, được thực hiện trong thư viện lub bởi Conal Elliott.

Về cơ bản, bạn viết hai chức năng:

orL True _ = True 
orL False x = x 

orR = flip orL 

và sau đó bạn có thể định nghĩa or a b là lub (ít nhất trên ràng buộc đối với "definedness" đơn đặt hàng với) của orL a b và orR a b.

Hoạt động, nó chạy cả hai phép tính song song và chọn phép tính đầu tiên thành công, tiêu diệt phần tử kia.

Mặc dù hoạt động như bạn đã đề xuất nhưng nó có những bất lợi quan trọng. Trước hết, lub chỉ an toàn nếu các đối số của nó đồng ý (bằng trừ khi dưới cùng). Nếu bạn lấy lub True False, kết quả sẽ không xác định, do đó vi phạm độ tinh khiết! Thứ hai, chi phí hoạt động của cả hai tính toán song song có thể trở nên thống trị trong một số điều kiện (ví dụ: hãy thử tính toán một ví dụ foldr or False của một danh sách lớn!).