カリー化と部分適用の使い所や使い分けについて

Question

カリー化と部分適用はどのような処理をするときに有用でどのように使い分けるべきでしょうか

Comments

[K_3578]

質問を解決する前に次々質問しないでください。
自分で調べて何も出なかったのですか？

[maikeru]

> 質問を解決する前に次々質問しないでください。
他の回答がつくかも知れないので質問を解決するのは少し待つことにしています
> 自分で調べて何も出なかったのですか？
自分でも調べています

[K_3578]

基本的に質問を連投するのはマナーとして良くありません。
質問は一つずつにするべきです。

質問するときのヒント(https://teratail.com/help/question-tips )は
質問をするなら必読するべき内容です。

[maikeru]

> 基本的に質問を連投するのはマナーとして良くありません。
そのようなマナーがあるのですね

質問するときのヒントは初めて見ました。気をつけます

[maisumakun]

> 自分でも調べています

調べてどのような情報が得られて、それでもわからない部分はどのようなものでしょうか？

（何も提示されていないと、「何もしていない」のと閲覧者からみて区別ができませんし、「同じ情報を再提示されるだけ」という無駄な労力が発生する危険もあります）

[gentaro]

質問を連投するのは構わないと思うけど、最低限質問ガイドラインに沿って必要な情報ぐらい書こう。この内容での連投ならただのスパム。

Answer 1

カリー化は複数引数を取る関数を引数ひとつを取り関数を返す関数にすることです。Haskell では普通に作成した関数はカリー化がなされています。例えば以下のような関数があるとしましょう。

add :: Int -> Int -> Int
add x y = x + y

この関数は複数引数を取る関数ではなく引数ひとつを取り関数を返す関数です。次に add を使って 3 だけ足す関数を考えてみます。

add3 :: Int -> Int
add3 x = add 3 x

このように書いても問題はないのですが、型を見ると Int -> Int 型を返しても良いことになっています。ですから add3 は部分適用を用いて以下のようにも書けます。

add3 :: Int -> Int
add3 = add 3

部分適用を用いるとある値に対する特別バージョンの関数を作れることになります。何回も 3 を加える処理が必要な場合、add3 を作成しておくのは有効でしょう。

カリー化についてもう一つ。カリー化は 複数引数を取る関数を引数ひとつを取り関数を返す関数にすることと言いましたが、Haskell ではタプルを使って複数の引数が渡せます。

add' :: (Int, Int) -> Int
add' (x, y) = x + y

これを引数ひとつを取り関数を返す関数にすることもカリー化と呼び、その関数は以下のように書けます（標準で入ってます）。

curry :: ((a, b) -> c) -> (a -> b -> c)
curry f = \x y -> f (x, y)

何らかの理由により引数がタプルを取っているけど部分適用したい時に使えるでしょう。