親知らずの日記: 8月 2013

2013/08/07

「すごいHaskellたのしく学ぼう！」に、カリー化と部分適用は完全に理解しておいてくださいと書かれていたのでしっかり学ぶ努力をしてみる。

下記のような関数があったとして、

myAdd :: Integer -> Integer -> Integer
myAdd x y = x + y

(myAdd 4) の返り値は、

myAdd' :: Integer -> Integer
myAdd' y = x + y
    where x = 4

と同等の関数であるという事なのだろうか？

いや、参考文献を見る限り違うようだ。

これは、「カリー化して部分適用」したという事らしい。

Integer -> Integer -> Integer を、 Integer -> (Integer -> Integer) と (Integer -> Integer) の 2 つの関数に分解するのがカリー化という事か。

Haskell なら、すべての関数を処理系が自動で変換してくれる。

Java で、オレオレ Add 関数のカリー化をする場合こんな感じになるのかな？

とりあえず、「関数の分解がカリー化」、「具体的に数値を入れると部分適用」という印象。