Почему я могу заархивировать один из шаблонов, но не другой в моем шаблоне?

Question

У меня есть функция с двумя аргументами, которые мне нужно сопоставить. Если я использую каррирование на первом шаблоне он не будет компилироваться:

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

Компилятор дает этот вывод:

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. 

Если бы я только дать выделанной картины, однако затем она составляет:

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

Что дает?

Answer 1

Единственное объяснение, которое я мог бы найти (http://www.haskell.org/pipermail/haskell-cafe/2009-March/058456.html):

Проблема состоит в основном синтаксическая, в том смысле, что большинство вхождения определений с различным числом аргументов являются простыми опечатками. Возможны проблемы с реализацией: : это делает правила сопоставления шаблонов более сложными.

Answer 2

Я не могу сказать вам , почему точно, но это известное ограничение. Все случаи одной и той же функции должны иметь одинаковое количество аргументов.

Answer 3

Это раздражает «особенность» GHC, чтобы быть уверенным, но чтобы исправить это, вы можете сделать это:

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

Вы не снискать оба или ни, и оба к тому же количество аргументов. Если это проверка на линт, это здорово: но я хочу, чтобы была опция компилятора для включения/выключения.