Warum kann ich eines der Muster curry aber nicht das andere in meinem Muster übereinstimmen?

Question

Ich habe ich eine Funktion mit zwei Argumente, die ich Muster übertreffen muss. Wenn ich currying auf dem ersten Muster verwenden, wird es nicht kompilieren:

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

Der Compiler diesen Ausgang gibt:

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. 

Wenn ich nur das curried Muster geben, aber dann kompiliert es:

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

Was gibt?

Answer 1

Die einzige Erklärung, die ich (http://www.haskell.org/pipermail/haskell-cafe/2009-March/058456.html) finden konnte:

Das Problem ist vor allem syntaktisches, in dem Sinne, dass die meisten Vorkommen von Definitionen mit einer unterschiedlichen Anzahl von Argumenten sind einfache Tippfehler. Die andere könnte Umsetzungsprobleme sein: Es macht Muster Match-Regeln komplexer.

Answer 2

Ich kann Ihnen nicht warum sicher sagen, aber das ist eine bekannte Einschränkung. Alle Fälle derselben Funktion müssen die gleiche Anzahl von Argumenten haben.

Answer 3

Dies ist ein ärgerliches „Feature“ von GHC, um sicher zu sein, aber es zu beheben, können Sie dies tun:

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

Sie haben beide Curry oder keines von beiden, und beide auf die gleiche Anzahl der Argumente. Wenn das eine Flusenprüfung ist, ist das großartig: aber ich wünschte, es gäbe eine Compileroption, um sie ein-/auszuschalten.