「カリー化」の版間の差分
削除された内容 追加された内容
m Category:エポニムを追加 (HotCat使用) |
圏論の話が不正確だったので修正 タグ: 改良版モバイル編集 |
||
35行目:
</source>
[[理論計算機科学]]の分野では、カリー化を利用すると、複数の引数をとる関数を、一つの引数のみを取る複数の関数の[[ラムダ計算]]などの単純な理論的モデルと見なして研究できるようになる。[[圏論]]では
カリー化をする現実の動機の1つに、カリー化することで後述する[[部分適用]]が行いやすくなることが挙げられる。たとえば、加算を行う関数 <code>(+)</code> をカリー化してから、最初の引数だけに <code>1</code> を適用すれば、インクリメント用の関数が簡単に作れる。
|