2006-09-30 部分適用 Haskell ふつけるメモ たとえば、f :: Int -> Int -> Int だとすると、 (f 5) :: Int -> Int 二項演算の場合 セクションと呼ぶ 第二引数(右辺)を渡して第一引数をパラメータ化することもできる。 `` を使えば任意の二項演算に対してこれが使える。 increment n = (+ 1) n -- 「n + 1」に展開 increment n = (1 +) n -- 「1 + n」に展開