Haskellでのカリー化

参照：

• http://d.hatena.ne.jp/rst76/20090221/1235178786
• http://d.hatena.ne.jp/m-hiyama/20090226/1235606901

訂正を入れてみる。

g (a, b, x) = a * x + b

g1_1 (a, b) = \x -> g (a, b, x)
g1_2 = curry3 g

g2 = curry $ curry3 g

ただし↓

curry3 :: ((a, b, c) -> d) -> ((a, b) -> c -> d)
curry3 f = \(a, b) c -> f (a, b, c)

実行結果。

*Main> g (3, 5, 7)
26
*Main> g1_1 (3, 5) 7
26
*Main> g1_2 (3, 5) 7
26
*Main> g2 3 5 7
26