Paradigmas de linguagens de programação

---

• Introdução sobre Cálculo Lambda
  • Problema da atribuição e como o cálculo lambda resolve isso
  • Gramática
  • Variáveis livres e ligadas
  • Substituição
  • Aritmética
  • Função de sucessor
  • Adição
  • Condicionais
  • Operadores lógicos
    • Operador lógica AND
    • Operador lógica OR
    • Operador lógica NOT
• Haskell
  • História da linguagem Haskell
  • Introdução ao Haskell
  • Primeiros passos no Haskell
  • Formas de configurar um projeto Haskell
    • Executando um programa de um único arquivo no Haskell
    • Trabalhando com programa de múltiplos arquivos no Haskell
    • Stack - Haskell Build Tool
  • Sintaxe
    • Funções
    • Tipos
    • Imutabilidade
    • Listas
    • Pattern Matching