Neden desen eşlemede diğerlerinden değil, desenlerden birini körleyebilirim?

Question

Desen eşleştirmem gereken iki argümanı olan bir işleve sahibim. İlk desen üzerinde Currying kullanırsanız o derlenmeyecektir:

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

derleyici bu çıktıyı verir: Ben sadece curried desen verirsen

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. 

Ancak o zaman derler:

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

Ne verir?

Answer 1

sadece açıklama (http://www.haskell.org/pipermail/haskell-cafe/2009-March/058456.html):

sorun argümanlar farklı sayıda tanımları en oluşumları düz yazım hatalarını olduğu anlamda, çok sözdizimsel bir. diğer uygulama sorunları olabilir: desen eşleşme kuralları daha karmaşık hale getirir.

Answer 2

Neden neden emin değilim, ancak bu bilinen bir sınırlamadır. Aynı işlevdeki tüm durumlar aynı sayıda argümana sahip olmalıdır. Bulabildiğim

Answer 3

Bu ghc sinir bozucu bir "özelliği", kesinlikle, fakat olmaktır düzeltmeye, bunu yapabilirsiniz: Sen ne hem köri veya zorunda ve

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

aynı hem argüman sayısı. Bu bir tiftik kontrolü ise, bu harika: ama keşke onu açmak/kapatmak için bir derleyici seçeneği olsaydı.