カリー化とは何か？

カリー化は、複数の引数を取る関数を、一引数の関数の並びとして書き直します。各関数は一つの引数を消費し、残りを期待する関数を返します。すべての引数を順に与えると最終的な結果が得られます。これにより、あらゆる多引数関数を入れ子になった一引数関数へと還元できます。

なぜ重要か

カリー化は、いくつかの引数を今、残りを後で与えられるため、部分適用を自然にします。関数型のライブラリや合成のパイプラインでよく使われる構成要素です。