No final desta disciplina, o aluno deverá ser capaz de:
- Escrever programas numa linguagem de programação
funcional (Haskell).
- Compreender o conceito de tipo indutivo e de
recursividade.
- Definir tipos algébricos para modelar problemas, e
programar com esses tipos.
- Compreender a noção de tipo principal e de polimorfismo.
- Usar funções de ordem superior.