Exercício 4 do capítulo 3 de Haskell: uma abordagem Prática, Cláudio Cesar de Sá & Márcio Ferreira da Silva

ex_4_cap_3.hs

--ep4
fatorial x  | (x==1) = 1
            | otherwise = x * fatorial (x-1)

e_x x n | (n==0) = 1
        | otherwise = ( (x**n) / fatorial n ) + (e_x x (n-1) )

delta x = delta' x 0
            where delta' x n  | (exp_x - (e_x x n)) < 0.001 = 0
                              | otherwise = 1 + delta' x (n+1)
                              where exp_x = exp x

Também pode ser

fatorial 1 = 1
fatorial x = x * fatorial (x - 1)