以前 Haskell におけるカリー化の話をしたが、実際に f :: (a,b) -> c という 2 変数(というか変数の組)を取る関数に対して curry :: ((a,b) -> c) -> (a -> b -> c) という関数があって、定義では curry f = \x y -> f (x,y) となっている。

Haskell の参考書とかを見ていると階乗を再帰関数の練習として載せているものが多いが、ぶっちゃけて fact :: Int -> Int fact n = product [1..n] で良かったりする。で、これだと n が 0 のとき困るんじゃないの、って思った人もいると思うんだけど、GHCi …