Warum Haskell ein Argument nimmt

Question

Ich versuche, die Ursache und Wirkung Logiken hinter „Currying“ und zu folgenden Ergebnissen kommt, um herauszufinden:

kann

1. Mehrere Argumente Funktion entweder als Tupel ausgedrückt werden (Kombination mehrerer Argumente mit verschiedenen Typen als ein Argument) und Liste (mehrere Argumente mit demselben Typ wie ein Argument kombinieren). So können alle Funktionen als einzelne Argumentfunktion ausgedrückt werden.
2. Also in Haskell, Funktion nimmt nur ein Argument.Wie können wir multiple-Argumente Funktion implementieren.
3. Verwenden von Curry. Curry ist eine Möglichkeit, mehrere Argumentfunktionen zu implementieren.

Ich denke, die obige Logik 1 -> 2 -> 3 ist verwirrend zu beantworten "warum mit Currying". Für die Aussage 3 kann man auch mehrere Tupel oder Listen als einzelnes Argument zur Implementierung mehrerer Argumente kombinieren.

Es scheint Aussage 1 ist nicht richtig Grund für Aussage 2. Was bin ich sicher, ist 2-> 3 ist richtig Argumentation, aber was ist der Grund hinter 2? Warum hat Haskell als funktionale Sprache nur ein Argument?

Die meisten Bücher nehmen Aussage 2 als eine akzeptierte Tatsache. Kennt jemand den Grund hinter 2? Oder kennt jemand die richtige Logik hinter "warum currying"?

Answer 1

Als erstes müssen Sie sich daran erinnern, dass Haskell vollständig auf Lambda-Kalkül basiert. Es basiert auf einem wissenschaftlichen Programmiermodell (auch wenn es nicht bedeutet, dass die Sprache nur wissenschaftlichen Nutzen hat).

Was ich denke, dass Sie falsch lagen, ist, dass das nicht nur ein Argument bekommt, weil es als ein Tupel oder eine Liste gezeigt werden kann, obwohl das eine ziemlich kluge Erklärung wäre.

Haskell nimmt nur ein Argument, weil Currying:

f (x, y) = f (x) (y)

wobei f (x) eine Funktion gibt, die ein Argument annimmt. Currying ist das ganze "Funktionen, die Funktionen zurückgibt" Schema. Wenn Sie also f (x) (y) eingeben, geben Sie "y" tatsächlich an die Funktion "f (x)" weiter.

Klassisches Beispiel:

add :: a->(a->a) 
add(x) = x'+' 

Als '+' ist eine Funktion, das heißt, es ein weiteres Argument nimmt, können wir:

add(3)(5) == 8 

Wir geben nicht beide Argumente zu hinzufügen , nur eins, damit es '+' erzeugen kann, was ein anderes Argument bekommt.

Nachdem Sie das grook, wird viel Sinn machen und wir können weiter warum.

Nun, hauptsächlich syntaktischer Zucker, aber ein sehr starker. Zum Beispiel können wir Funktionen auf andere definieren basiert, ohne die Argumente zu spezifizieren:

add = '+' 

Und plötzlich zugewiesen ich Werte an Funktionen, ohne die Argumente zu erwähnen (unter der Annahme natürlich ihre Typdeklaration übereinstimmt). Dies hat viele andere Möglichkeiten und erleichtert die Abstraktion sehr.

Hier gibt es gute Antworten mit guten Beispielen: https://softwareengineering.stackexchange.com/questions/185585/what-is-the-advantage-of-currying

Answer 2

Die Funktion

f x y = x + y 

den Typ hat (unter der Annahme x & y sind Integer s)

f :: Integer -> Integer -> Integer 

dies das gleiche wie

ist

g :: Integer -> (Integer -> Integer) 

Welche f bedeutet, ist eine Funktion Das nimmt eine Integer und gibt eine neue Funktion, die auch eine Integer und gibt eine Integer zurück. Curry ist der Prozess, bei dem eine Funktion, die mehrere Argumente annimmt, tatsächlich als eine Reihe von Funktionen ausgewertet wird, die ein Argument verwenden.

Currying macht es sehr einfach Funktionen teilweise anzuwenden, wie

plusTwo :: Integer -> Integer 
plusTwo = f 2 

Der obige Code einfach folgt gilt 2-f und bindet den Namen plusTwo auf die sich ergebende Funktion.

Dies macht es extrem einfach für Entwickler, gemeinsames Verhalten an einem einzigen Ort zu abstrahieren.

Answer 3

Die Entscheidung currying als die bevorzugte Methode von Funktionen Multi-Argument zu verwenden, wurde aus zwei Gründen gemacht. Erstens hat Haskell seine Wurzeln in Lambda Calculus, die Curry verwendet. Zweitens ermöglicht Curry eine einfache partielle Anwendung, eine Sprachfacette, die unbeschreiblich nützlich ist.