カリー化 (currying, カリー化された=curried) とは、複数の引数をとる関数を、引数が「もとの関数の最初の引数」で戻り値が「もとの関数の残りの引数を取り結果を返す関数」であるような関数にすること(あるいはその関数のこと)である。クリストファー・ストレイチーにより論理学者ハスケル・カリーにちなんで名付けられたが、実際に考案したのはMoses Schönfinkelとゴットロープ・フレーゲである。

ごく簡単な例として、f(a, b) = c という関数 f があるときに、F(a) = g(ここで、gg(b) = c となる関数である)という関数 F が、f のカリー化である。

関数 f の形のとき、 をカリー化したものを とすると、 の形を取る。uncurryingは、これの逆の変換である。

理論計算機科学の分野では、カリー化を利用すると、複数の引数をとる関数を、一つの引数のみを取る複数の関数のラムダ計算などの単純な理論的モデルと見なして研究できるようになる。圏論ではカリー化の概念を、デカルト閉圏における冪対象普遍性に見出せる。適当な2つの対象から別の対象への に対して、射 が一意に対応する。

カリー化をする現実の動機の1つに、カリー化することで後述する部分適用が行いやすくなることが挙げられる。たとえば、加算を行う関数 (+) をカリー化してから、最初の引数だけに 1 を適用すれば、インクリメント用の関数が簡単に作れる。

カリー化を基盤としているプログラミング言語もある。特にMLHaskellでは関数は常に一つの引数のみを取り、複数の引数を取る関数とは、単にネストされた複数の一引数関数の糖衣構文にすぎない。第一級関数を扱える言語、たとえばLISPSchemeF#ScalaErlangEiffelPerlRubyPythonR言語S言語JavaScriptSwiftなどでは、カリー化関数を作ることができる。

実装例

編集

たとえば、除算の関数   をカリー化したものを   とすると、   のみを引数に取る。そして   とすると、   のみを引数に取る新しい関数となり、 、つまり引数の逆数を返す関数になる。

この例をSchemeとJavaScriptで実装した例を示す。

(define div (lambda (x y) (/ x y)))
;(div 1 3) == (/ 1 3), これはカリー化ではない。

(define cdiv (lambda (x) (lambda (y) (div x y) )))
;(cdiv a) == (div a y)
((cdiv 10) 3)
;=> 10/3

(define inv (lambda (x) ((cdiv 1) x)))
;inv == (cdiv 1)
(inv 2)
;=> 1/2
function div(x, y) { return x / y; }
//div(1, 3) == 1 / 3, これはカリー化ではない。

function cdiv(x) { return function(y) { return div(x, y); } }
console.log(cdiv(10)(3));
//=> 10/3 = 3.333...

var inv = cdiv(1);
console.log(inv(2));
//=> 1/2 = 0.5

部分適用との混同

編集

カリー化は部分適用英語版と混同されやすい[1][2]

部分適用とは、複数の引数をとる関数の一部の引数に実引数を適用する操作のことで、例えば上述の   から   を導く操作を指す。部分適用の一例として、標準C++ライブラリstd::bind1st[注釈 1] が挙げられる。

一方、カリー化は例えば上述の   から   を導く操作であり、引数への実引数の適用までは行わない。

この混同はしばしば言語設計者によってもなされる。Groovy では、部分適用を行う標準メソッドに curry という名前がつけられており、注意が必要である。

タプル引数との関連

編集

Haskell の標準関数 curry は、カリー化と厳密には違う動作をする[要出典]。この関数は (a, b) -> c という型を持つ関数を a -> b -> c 型の関数に変換するが、元の関数は「2 要素のタプルを取る 1 引数関数」であり、2 引数関数ではない。Haskell は全ての関数が 1 引数関数であり(つまり、全ての関数が元々カリー化された形であるとも表現される)、Haskell プログラムでは、厳密な意味でカリー化を行う関数は定義できない。ただし型理論上は、X, Y という型の要素を持つタプルの型は直積   とほぼ同一視できるため、必ずしも誤用というわけではない。

関連項目

編集

脚注

編集

注釈

編集
  1. ^ C++11で非推奨、C++17で削除

脚注

編集
  1. ^ http://lambda-the-ultimate.org/node/2266
  2. ^ http://www.uncarved.com/blog/not_currying.mrk