カリー化、部分適用、クロージャという間違いやすい三種についての簡単なメモ書き - Line 1: Error: Invalid Blog('by Esehara' )

追記 カリー化を間違えてカーリー化という表記をしていたのを修正しました。 そもそもカリー化とは何か 複数の引数を取る関数は、一つの引数を取る、関数を返す関数の連続として表現できるということ、と言葉で表現しても抽象的すぎるので、ちょっと式で表してみる。 まず初めにラムダの導入 例として、ある整数に対してプラス1する関数を定義する。このような関数は、として表現できる。 ここでこの関数はplusoneという名前を与えられているが、このx + 1という関数そのものを表現するような記法があると便利だろう。そこで、をそのような記法として定義する。 この記法を用いることにより、上記のはとして表現できるようになる。つまり、関数それ自体を表す記法を導入することによって、関数の名前と、関数それ自体を区別することができるようになる。 カリー化 このような考え方が便利なのは、関数を返す関数というものを表現できるよ

[yohshiy]

カリー化 と 部分適用 が間違いやすいのはわかるけど、クロージャーは関係なくはないぐらいで、最初から別物。

[theatrical]

私はカーリー化と部分適用の違いを、自分で関数を表すデータ型を定義する際に、引数ごとに別に型を作るのは極めて煩雑で、逆にすべてを一つの引数を取り、一つの結果を返す型として定義することの楽さで実感しました

[onefootinthegrave]

このような考え方が便利なのは、関数を返す関数というものを表現できるようになるからだ。 なんか違和感。関数の合成が楽チンなだけちゃうの？

[key_amb]

食べる方のカリーかと思ったら全然違った。雰囲気関数型言語っぽい。 / カリー化、部分適用、クロージャという間違いやすい三種についての簡単なメモ書き - Line 1: Error: Invalid Blog('by Eseh… /

[progrhyme]

食べる方のカリーかと思ったら全然違った。雰囲気関数型言語っぽい。 / カリー化、部分適用、クロージャという間違いやすい三種についての簡単なメモ書き - Line 1: Error: Invalid Blog('by Eseh… /

[daiki_17]

カリー化、部分適用、クロージャという間違いやすい三種についての簡単なメモ書き - Line 1: Error: Invalid Blog('by Esehara' )