Pattern khớp trong Haskell và Erlang

Question

Tôi có một chức năng Erlang nhỏ mà so sánh nếu hai danh sách đều bình đẳng:

myEq([], [])   -> true; 
myEq([X|Xs], [X|Ys]) -> myEq(Xs, Ys); 
myEq(_, _)   -> false. 

Việc so sánh diễn ra trên dòng 2, X của [X|Xs] luôn liên kết với phần tử đầu tiên của danh sách đầu tiên, các đối sánh [X|Ys] chỉ khi các phần tử đầu tiên của cả hai danh sách đều bằng nhau.

Nếu tôi thử điều này trong Haskell, tôi nhận được thông báo lỗi: "Định nghĩa xung đột cho x". Một giải pháp khả thi trong Haskell sẽ là:

myEq (x:xs) (y:ys) = if x == y then myEq xs ys else False 

Nhưng tôi muốn biết nếu nó có thể làm điều này trong Haskell sử dụng kết hợp mô hình?

Answer 1

Không, trong Haskell bạn không thể sử dụng cùng một biến x trong phần đầu của mệnh đề. Haskell không không làm thống nhất hoặc kiểm tra bình đẳng như ví dụ tương ứng Prolog và Erlang làm. Đây là quy định trong báo cáo Haskell '98:

Tập hợp các mô hình tương ứng với mỗi trận đấu phải tuyến tính --- không biến được phép xuất hiện nhiều hơn một lần trong toàn bộ.

(sao chép, in đậm thêm)

Cách duy nhất để làm điều đó là sử dụng một người bảo vệ (hoặc bất kỳ loại khác của kiểm tra trong cơ thể tất nhiên). tuy nhiên bạn có thể viết nó thêm thanh lịch như:

myEq [] [] = True 
myEq (x:xs) (y:ys) | x == y = myEq xs ys 
--     | otherwise = False 
myEq _ _ = False 

trường hợp otherwise thể được bỏ qua kể từ khi Haskell sẽ dự phòng trên mệnh đề cuối cùng và do đó trở False.

Hoặc thậm chí tao nhã hơn:

myEq [] [] = True 
myEq (x:xs) (y:ys) = x == y && myEq xs ys 
myEq _ _ = False 

Cá nhân tôi nghĩ rằng đó là tốt hơn vì ở đây bạn nêu rõ ràng rằng x bằng y nên những sai lầm như một cách tình cờ viết cùng một biến không thể xảy ra. Mặc dù tất nhiên nó là một vấn đề của hương vị.

Answer 2

Không. Mỗi biến có thể bị ràng buộc nhiều nhất một lần ở bên khớp mẫu. Nếu bạn muốn liên kết một biến hai lần, bạn sẽ phải đánh giá để thực hiện thống nhất.