Editing Aprende Haskell en 10 minutos (section)

== Definición de [[Function|funciones]] ==

Habíamos escrito la definición de [[Introduction to Haskell IO/Actions|acciones
IO]], llamada <hask>main</hask>:

<haskell>
main = do putStrLn "What is 2 + 2?"
          x <- readLn
          if x == 4
              then putStrLn "You're right!"
              else putStrLn "You're wrong!"
</haskell>

Ahora podemos suplementar escribiendo la definición de una
''[[function|función]]'' y llamándola <hask>factorial</hask>.  También agregaré
un modulo de cabecera.

<haskell>
module Main where

factorial n = if n == 0 then 1 else n * factorial (n - 1)

main = do putStrLn "What is 5! ?"
          x <- readLn
          if x == factorial 5
              then putStrLn "You're right!"
              else putStrLn "You're wrong!"
</haskell>

Construyalo otra vez usando <tt>ghc --make Test.hs</tt>. y,

  $ ./Test
  What is 5! ?
  120
  You're right!

Ahí tenemos una función.  Tal como las que vienen por defecto, se puede llamar
como <hask>factorial 5</hask> sin paréntesis.

Podemos preguntar el [[type|tipo]] a <tt>ghci</tt>.

  $ ghci Test.hs
  << GHCi banner >>
  Ok, modules loaded: Main.
  Prelude Main> :t factorial
  factorial :: (Num a) => a -> a

Los tipos de las funciones se escriben como el tipo del los argumentos, seguidos
de <hask> -> </hask>, y luego el tipo del resultado.  (Este ejemplo también
tiene la clase de tipo <hask>Num</hask>).

El factorial se puede simplificar escribiendo el análisis de casos.

<haskell>
factorial 0 = 1
factorial n = n * factorial (n - 1)
</haskell>