カリー化について

参考: カリー化談義 - あどけない話

多変数関数の表現として

TODO: プログラミング言語の基礎概念

TODO: Applicative における (a -> b) の具体例に (a -> b' -> c) がある。

タプルの引数を個別の引数にバラすという意味で

TODO: curry, uncurry

部分適用について

TODO: 一般の部分適用は順不同、カリー化された関数の部分適用は 1 方向の順番

TODO: . 演算子、 $ 演算子、ポイントフリースタイルなどと絡めたい