O documento apresenta os principais paradigmas de programação funcional usando Haskell, incluindo execução condicional através de casamento de padrões, expressão if-then-else, expressões guardadas e expressão case. A recursividade é apresentada como fundamental em linguagens funcionais e exemplos de sua implementação são dados, como concatenar string n vezes e calcular fatorial e sequência de Fibonacci.