john7rv

ラムダ計算におけるラムダ関数は本来ひとつの引数をとるだけです。
これでは複雑な計算はできないように思えますが
複数の引数の関数を一つの引数の関数の形に変えれる方法があります。
それをカリー化と呼びます。
カリー化では２引数を１引数に変換することを繰り返すことで
複数の引数の関数を扱えることになるわけです

カリー化にはクロージャと同じような技術を使います。
次の例では
２つの引数を必要とする掛け算の関数を
１引数関数で実現する例です

(define multi-xy (lambda (x) (lambda (y) (* x y))))
(print ((multi-xy 3) 5))
>15