mẫu không đầy đủ trong Haskell danh sách hiểu

Question

thể trùng lặp:
Why don't Haskell list comprehensions cause an error when pattern match fails?

Hôm nay tôi thấy đoạn mã sau:

Prelude> [a | Just a <- [Just 10, Nothing, Just 20]] 
[10, 20] 

Nó hoạt động. Nhưng tôi nghĩ rằng danh sách hiểu trên là đường chỉ là cú pháp cho ...

[Just 10, Nothing, Just 20] >>= (\(Just x) -> return x) 

... mà Haskell, khi gặp phải những Nothing, sẽ phát ra một lỗi *** Exception: Non-exhaustive patterns in lambda.

Vì vậy, câu hỏi của tôi là: những gì hiện [a | Just a <- [Just 10, Nothing, Just 20]] dịch thành (về mã monadic) mà làm cho nó bỏ qua các Nothing?

Answer 1

Tôi nghĩ câu trả lời hay nhất trong số that other question thực sự là thuật ngữ tham chiếu 'ma thuật biên dịch'. Bạn phù hợp với mô hình Just x, và theo Haskell 2010 Report hành vi được quy định như

.. nếu một trận đấu thất bại thì đó yếu tố của danh sách chỉ đơn giản là bỏ qua.

Vì vậy, tôi nghĩ rằng việc triển khai hoàn toàn miễn phí khi thực hiện điều này (ví dụ: desugaring không nhất thiết phải là duy nhất).