Tại sao tôi có thể cà ri một trong các mẫu nhưng không phải mẫu khác trong mẫu của tôi?

Question

Tôi có một hàm với hai đối số mà tôi phải đối sánh với mẫu. Nếu tôi sử dụng currying trên mô hình đầu tiên nó sẽ không biên dịch:

drop' :: Int -> [a] -> [a] 
    drop' 0 = id -- ghci: "Equations for drop' have different numbers of arguments" 
    drop' n (x:xs) = drop' (n-1) xs 

Trình biên dịch cho kết quả này:

99.hs:106:3: 
Equations for drop' have different numbers of arguments 
    99.hs:106:3-15 
    99.hs:107:3-33 
In an equation for `split': 
    split xs n 
     = (take' n xs, drop' n xs) 
     where 
      take' 0 _ = [] 
      take' n (x : xs) = x : take (n - 1) xs 
      drop' 0 = id 
      drop' n (x : xs) = drop' (n - 1) xs 
Failed, modules loaded: none. 

Nếu tôi chỉ cung cấp cho các mô hình cà ri, tuy nhiên, sau đó nó biên dịch:

drop' :: Int -> [a] -> [a] 
    drop' 0 = id -- compiles 

Điều gì mang lại?

Answer 1

Lời giải thích duy nhất tôi có thể tìm thấy (http://www.haskell.org/pipermail/haskell-cafe/2009-March/058456.html):

Vấn đề là hầu hết cú pháp, theo nghĩa rằng hầu hết các lần xuất hiện của định nghĩa với một số khác nhau của các đối số lỗi chính tả đơn giản. Các khác có thể là vấn đề triển khai: nó làm cho các quy tắc đối sánh mẫu phức tạp hơn.

Answer 2

Tôi không thể cho bạn biết lý do tại sao chắc chắn, nhưng đây là giới hạn đã biết. Tất cả các trường hợp của cùng một hàm phải có cùng số đối số.

Answer 3

Đây là một khó chịu "tính năng" của GHC, để chắc chắn, nhưng để sửa chữa nó, bạn có thể làm điều này:

drop' n = \(x:xs) -> drop' (n-1) xs 

Bạn phải cà ri cả hay không, và cả hai cùng số lượng đối số. Nếu đây là một kiểm tra lint, đó là tuyệt vời: nhưng tôi muốn có một tùy chọn trình biên dịch để bật/tắt nó.