カリー化

カリー化 (currying, カリー化された=curried) とは、複数の引数をとる関数を、引数が「もとの関数の最初の引数」で戻り値が「もとの関数の残りの引数を取り結果を返す関数」であるような関数にすること（あるいはその関数のこと）である。クリストファー・ストレイチーにより論理学者ハスケル・カリーにちなんで名付けられたが、実際に考案したのはMoses Schönfinkelとゴットロープ・フレーゲである。
ごく簡単な例として、"f"("a", "b") = "c" という関数 "f" があるときに、"F"("a") = "g"（ここで、"g" は "g"("b") = "c" となる関数である）という関数 "F" が、"f" のカリー化である。
関数 "f" が formula_1 の形のとき、formula_2 をカリー化したものを formula_3 とすると、formula_4 の形を取る。uncurryingは、これの逆の変換である。
理論計算機科学の分野では、カリー化を利用すると、複数の引数をとる関数を、一つの引数のみを取る複数の関数のラムダ計算などの単純な理論的モデルと見なして研究できるようになる。圏論ではカリー化の概念を、デカルト閉圏における冪対象の普遍性に見出せる。適当な2つの対象の積から別の対象への射 formula_5 に対して、射 formula_6 が一意に対応する。
カリー化をする現実の動機の1つに、カリー化することで後述する部分適用が行いやすくなることが挙げられる。たとえば、加算を行う関数 codice_1 をカリー化してから、最初の引数だけに codice_2 を適用すれば、インクリメント用の関数が簡単に作れる。
カリー化を基盤としているプログラミング言語もある。特にMLとHaskellでは関数は常に一つの引数のみを取り、複数の引数を取る関数とは、単にネストされた複数の一引数関数の糖衣構文にすぎない。第一級関数を扱える言語、たとえばLISP、Scheme、F#、Scala、Erlang、Eiffel、Perl、Ruby、Python、R言語、S言語、JavaScript、Swiftなどでは、カリー化関数を作ることができる。
実装例.
たとえば、除算の関数 formula_7 をカリー化したものを formula_8 とすると、formula_8 は formula_10 のみを引数に取る。そして formula_11 とすると、formula_12 は formula_13 のみを引数に取る新しい関数となり、formula_14、つまり引数の逆数を返す関数になる。
この例をSchemeとJavaScriptで実装した例を示す。
//div(1, 3) == 1 / 3, これはカリー化ではない。
console.log(cdiv(10)(3));
//=> 10/3 = 3.333...
var inv = cdiv(1);
console.log(inv(2));
//=> 1/2 = 0.5
部分適用との混同.
カリー化はと混同されやすい。
部分適用とは、複数の引数をとる関数の一部の引数に実引数を適用する操作のことで、例えば上述の formula_15 から formula_12 を導く操作を指す。部分適用の一例として、標準C++ライブラリの codice_3 が挙げられる。
一方、カリー化は例えば上述の formula_15 から formula_8 を導く操作であり、引数への実引数の適用までは行わない。
この混同はしばしば言語設計者によってもなされる。Groovy では、部分適用を行う標準メソッドに codice_4 という名前がつけられており、注意が必要である。
タプル引数との関連.
Haskell の標準関数 codice_4 は、カリー化と厳密には違う動作をする。この関数は codice_6 という型を持つ関数を codice_7 型の関数に変換するが、元の関数は「2 要素のタプルを取る 1 引数関数」であり、2 引数関数ではない。Haskell は全ての関数が 1 引数関数であり（つまり、全ての関数が元々カリー化された形であるとも表現される）、Haskell プログラムでは、厳密な意味でカリー化を行う関数は定義できない。ただし型理論上は、codice_8, codice_9 という型の要素を持つタプルの型は直積 formula_19 とほぼ同一視できるため、必ずしも誤用というわけではない。