カリー化 != 部分適用 - kmizuの日記

最近、ネット上でカリー化に関する記事を読んでいると、特にGroovy界隈でカリー化に関して誤解がまかり通っているようなので(特に実用的なGroovy: カレー化クロージャーによるファンクショナル・プログラミングはひどい。そもそも、Groovyの標準ライブラリ自体がカリー化を行うための関数ではないものにcurryとか付けてるから仕方無いのかもしれんが)、一言言っておく。 カリー化というのは、Groovyで言うと、 def add = {x, y -> x + y} のように、xとyという複数の引数を取って値を返す関数を def add = {x -> {y -> x + y}} //間違ってパースできないコードになっていたので修正(12/17) のように、一つの引数xをとって、「yを引数にとって値を返す関数」を値として返すような関数に変換すること、あるいは最初からそのように表現することを言う

[devorgachem]

定期的に理由を忘れる案件なので、わかりやすい資料がいつでもみられるのは本当にありがたい

[masa8aurum]

“特にGroovy界隈でカリー化に関して誤解がまかり通っている”

[yoyama]

“ある”

[cu39]

「複数の引数を取る関数をカリー化すると部分適用が可能になる」とか「複数の引数を取る関数に部分適用したいからカリー化しよう」とかでいいのかな。

[tomoemon]

1.カリー化された関数は1つしか引数を受け付けない。2.部分適用は複数の引数のうち一部を受け付けて関数を返す。であれば、3.カリー化関数に対して部分適用するという表現はおかしいのでは？

[scova0731]

今更ながら、あまり意識してませんでした。

[january]

美しいよね・・

[t_f_m]

部分適用は束縛

[efcl]

部分適応とカリー化の違い. 引数を束縛するのが部分適応、複数の引数を受け取る所を1つの引数から複数の引数に該当する結果を渡せるようにする関数を作るのがカリー化

[moyashidaisuke]

わかった！

[sugimori]

あ。誤解してた。curry化って、そういうことなのか。

[fubar_foo]

自分も間違えていた

[nobeans]

なるほど

[katzchang]

修正した旨のコメントが残されているのを見て、「はてぶって履歴管理されないんだ」と思ってしまった。

[mooz]

カリー化 => f(x, y) があったとき, x を受け取って f(x, y) を返すような関数を作成. 部分適用は x を a に束縛し, y を受け取って f(a, y) なる関数を返す.