sirocco https://blog.hatena.ne.jp/sirocco/ sirocco の書いてもすぐに忘れるメモ https://sirocco.hatenadiary.org/ Haskell Haskell のひとつ以上の引数をとる関数はカリー化された関数として定義される。 add :: Int -> Int -> Int -> Int add x y z = x + y + z add1 :: Int -> (Int -> (Int -> Int)) ((add1 x) y) z = x + y + z add と add1 は同等である。 Int -> Int ：Intの引数でIntの値を返す関数。 Int -> (Int -> Int)：Intの引数でIntの値を返す関数を返す。 Prelude> :load "func.hs" [1 of 1] Compiling Main… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fsirocco.hatenadiary.org%2Fentry%2F20100323%2F1269347525" title="カリー化 - sirocco の書いてもすぐに忘れるメモ" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2010-03-23 21:32:05 rich https://sirocco.hatenadiary.org/entry/20100323/1269347525 1.0 100%