Sind die Konzepte der partiellen Anwendung und Curry in Haskell austauschbar?

Question

In einigen funktionalen Sprachen sind teilweise angewandte Funktionen und Curry-Funktionen zwei ähnliche, aber unterschiedliche Konzepte.

Das Buch lesen Learn You a Haskell for Great Good, scheint der Autor diese austauschbar anzuwenden.

[Curry-Funktionen] Jede Funktion in Haskell benötigt offiziell nur einen Parameter.

...

wenn wir eine Funktion mit zu wenigen Parametern aufrufen, bekommen wir wieder eine teilweise angewandte Funktion, eine Funktion, was bedeutet, dass so viele Parameter nimmt, wie wir weggelassen.

Meine Frage ist: Sind die Konzepte der partiellen Anwendung und Curry in Haskell austauschbar?

Answer 1

Sie sind verschiedene, aber verwandte Konzepte. Da Funktionsdefinitionen curiert sind, wenn Sie eine Funktion teilweise anwenden (dh sie mit weniger Argumenten aufrufen als erwartet), erhalten Sie eine andere Funktion zurück, die weniger Argumente erwartet.

Der Prozess des currying ist eine N-ary-Funktion mit N "Schichten" von unären Funktionen ersetzt, so dass man sich teilweise anwenden kann,

Drehen

function(x,y) {return x+y;} 

in

function(x) {return function(y) {return x+y;};} 

Das currying ist Teil der Definition der Funktion, und partielle Anwendung ist, was Sie mit einer Funktion tun, wenn Sie es aufrufen.