Programa

1
Programação Funcional

• Paradigma Funcional Linguagem Haskell

2
Introdução

• As linguagens de programação estão divididas em
  duas grandes classes a imperativa e a
  declarativa.
• A imperativa descreve a forma de obter os
  resultados outputs a partir das entradas
  inputs, nesta classe encontram-se algumas das
  mais conhecidas linguagens de programação (ex C,
  Java, Pascal.).

3
Introdução

• A declarativa descreve a relação existente
  entre os inputs e os outputs, sem duvidar da
  forma como os outputs são obtidos.

4
Paradigma Funcional

• Consiste em desenvolver funções que solucionam um
  determinado problema, tais funções obedecem aos
  princípios matemáticos, embora nem sempre podem
  ser consideradas funções totais.
• Nota Uma função é total, quando todos os
  elementos de um conjunto A, tem seu representante
  em um conjunto B.

5
Algumas Características

• As expressões são a representação exacta da
  informação
• As expressões podem ser associadas a nomes
• Todo o nome, que em uma expressão tem um valor
  único é imutável
• Não permite efeito colateral em funções, a
  linguagem oferece transparência referencial.

6
Vantagens

• Mais eficiente que as linguagens imperativas para
  calculo recursivo
• Transparência referencial
• Grande flexibilidade, capacidade de abstracção e
  modularização

7
Desvantagens

• Ilegibilidade do código
• Os programas podem ser menos eficientes
• Principais linguagens
• Lisp
• Miranda
• ML
• Haskell

8
Linguagem Haskell

• Haskell é uma linguagem de programação
  funcional, de propósito geral e de computação
  retardada(Lazy evaluation). Nomeada em homenagem
  ao lógico Haskell Curry.
• Computação retardada os programas em haskell
  são executados usando uma técnica chamada
  avaliação preguiçosa , que se baseia na ideia de
  que nenhum calculo deve ser realizado até que o
  seu resultado seja realmente necessário.

9
Características da linguagem Haskell

• Haskell sendo uma linguagem funcional,
  centrara-se no que se quer obter e não em como
  se obter o resultado.
• Este ênfase no que e não no como, aproxima a
  sintaxe das linguagens funcionais a sintaxe da
  linguagem natural (alto nível) , contrariamente a
  sintaxe das linguagens imperativas que se
  aproximam a sintaxe da linguagem de Baixo nível
  (linguagem da maquina).

10
Características da linguagem Haskell

• Como as linguagens modernas, Haskell possui em
  gestor de memorias, libertando o programador
  dessa tarefa.
• Mesmo sendo uma linguagem típada, inclui um
  sistema de tipos poli mórficos, bem incorporados
  na linguagem, incrementando a reutilização do
  código.
• É uma linguagem funcional pura. Em determinada
  função produzirá sempre o mesmo resultado
  output se o valor introduzido input for
  igual.

11
FIM

• Bibliografia
• Bento, Miguel Coelho, Rui M. P. _Introdução a
  Programação em Haskell