ハスケルで部分的なアプリケーションとカリングの概念は交換可能ですか？

Question

一部の関数言語では、部分的に適用される関数とカルト関数は、2つの類似しているが異なる概念です。

本はLearn You a Haskell for Great Goodという本を読んで、これらは同じ意味で適用されているようです。

[カリング関数] Haskellのすべての関数は、公式に1つのパラメータしか取りません。

...

我々はあまりにもいくつかのパラメータを持つ関数を呼び出す場合、私たちは取り残さできるだけ多くのパラメータをとる関数を意味し、部分的に適用された機能を取り戻します。

私の質問は：ハスケルで部分的なアプリケーションとカリングの概念は交換可能ですか？

Answer 1

これらは異なっていますが、関連する概念です。関数定義はカリー化されているので、関数を部分的に適用すると（つまり、引数が期待するよりも少ない引数で呼び出すと）、引数の数が少ない別の関数が返されます。

あなたが部分的にそれを適用することができるようにカリー化のプロセスは

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

カリー化があるに

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

を回し、単項関数のN「層」とN-aryの機能を置き換えています関数の定義の一部であり、部分的なアプリケーションは、関数を呼び出すときに関数で行うことです。