CIC0133 - PROGRAMACAO FUNCIONAL - Turma 01 - 2025/2

-> Introdução à Linguagem Haskell
  --> Controle: guardas, recursão
  --> Modelo de dados: 
    * tipos primitivos de dados 
    * tipos estruturados de dados: tuplas, listas, tipos algébricos
  --> Casamento de Padrões, Polimorfismo, Funções de Alta Ordem

-> Aplicação parcial

-> Thunks, Avaliação Preguiçosa x Avaliação Gulosa

-> Functors, Applicative, Monads em Haskell

-> Idiomas de programação genérica (SYB, GADT, etc.) em Haskell

-> Memoização, Lift Variacional

-> Estruturas de dados variacionais

-> Introdução à análise estática

-> Implementação de diversos interpretadores em Haskell
   PCF+, memoizado, variacional, combinado.

-> Leitura e discussão de artigos científicos