とむの徒然日記

とある組み込みソフトエンジニアの日記

自然数上の階乗関数は以下のように再帰的に定義されます．有名ですね．

$ n! = \begin{cases} \ 1 & \text{if } n = 0 \\ \ n \ \times \ (n-1)! & \text{if } n \ > \ 0 \end{cases} $

IntからIntへの階乗関数factをHaskellで素朴に書くと，次のようになります．

fact :: Int -> Int
fact 0 = 1
fact n = n * fact (n - 1)

ちなみに，型の宣言（fact :: Int -> Int）を省くと，

fact :: (Eq a, Num a) => a -> a

が推論されると思います．