- 21 名前：デフォルトの名無しさん mailto:sage [2012/08/17(金) 00:02:31.38 ]
- >>17
違う
f :: (a, b, c) -> d から
g :: a -> ((b, c) -> d) を作るのがカリー化だ。
-- Wikipedia : カリー化（ja.wikipedia.org/wiki/%E3%82%AB%E3%83%AA%E3%83%BC%E5%8C%96）
> 複数の引数をとる関数を、引数が「もとの関数の最初の引数」で戻り値が「もとの関数の残りの引数を取り結果を返す関数」であるような関数にすること。
カリー化された関数の戻り値は「もとの関数の残りの引数を取り結果を返す関数」だ。
(b, c) を勝手に b -> c -> と形を変えることまではカリー化には含まれない。
