詳しくは知らないんだけど、カリー化って単に引数の数を減らす(値を固定する)というのとは違うんですかね。使い所は例えば(mapcar (lambda (x) (< x 2)) '(1 2 3))なんて状況で、lambda式の代わりに(curry '< 2)と書けるようになったりするんじゃないかと。(それで何が嬉しいのかといわれると微妙ですが)
カリー化もそうですが、僕には不動点オペレータ(http://www.ice.nuie.nagoya-u.ac.jp/~h003149b/lang/fix.html)がどうにも分からなくて、こんなのが理解できる人は頭おかしいんじゃないかと思うことが時々あります。
> カリー化の効果 そういや、どっかにlambda式を書かないですむからすっきりするとか書いてあったような、でもあんまりそう思えない...。> 不動点オペレータ 多段でlambda式が入られるともう無理です...、かなり不動点オペレータ以前の問題ですねorz