Desenvolver soluções computacionais segundo o Paradigma da Programação Funcional, utilizando também técnicas iterativas do Paradigma de Programação Imperativa. Decidir em que situações deve adotar técnicas funcionais ou imperativas para a resolução de problemas. Implementar conceitos computacionais por meio de linguagens funcionais e imperativas, cálculo lambda, funções de ordem superior, polimorfismo e programação recursiva e iterativa.

Programação Funcional

1. Apresentação da disciplina, história e conceitos básicos.
2. Introdução ao Cálculo Lambda.
3. Aula Prática.
4. Introdução ao Haskell, valores, tipos, funções e branches.
5. Recursividade.
6. Listas, e funções de ordem superior.
7. Lazy, tipos e classes.
8. Classes de Tipos e Categorias.
9. Imperativas e Funcionais.

Material Complementar - Sugestões

1. 2021-08-09 - Real World Haskell
2. 2021-08-09 - Learn You a Haskell for Great Good!
3. 2021-08-09 - A Note on the Entscheidungsproblem
4. 2021-08-09 - An Unsolvable Problem of Elementary Number Theory
5. 2021-08-09 - Computability and λ-Definability
6. 2021-08-06 - On Computable Numbers, with an Application to the Entscheidungsproblem
7. 2021-04-20 - On the Impact of Programming Languages on Code Quality

Foto de Hitesh Choudhary on Unsplash