Haskell (1990)

fact :: Integer -> Integer
fact 0 = 1
fact n | n > 0 = n * fact (n - 1)