- 26-Set-05 Actividades de Acolhimento
- 29-Set-05 Actividades de Acolhimento
- 03-Out-05 Programação Declarativa vs Imperativa Programação Funcional. Tipo: motivação e exemplos de tipos elementares. Definições.
- 06-Out-05 Tipos compostos: produtos e funções. Definições de funções com mais do que um parâmetro. Estratégias de redução eager e lazy.
- 10-Out-05 Estruturas condicionais e pattern-matching. Manuseaento de expressões boolanas: definição do operador or.
- 13-Out-05 Padrões e ordem de execução das equações. Tipos polimórficos. Listas. Definições por compreensão. Definições recursivas: comprimento de uma lista.
- 17-Out-05 Funções recursivas sobre listas. Padrão genérico de chamadas recursivas com a cauda da lista. Terminação de definições recursivas. Exemplos de definições mal fundadas: a ++ (h:t) = (a ++ [h]) ++ t.
- 20-Out-05 Funções recursivas sobre mais do que um argumento: zip. Uso de acumuladores na definição de funções recursivas: reverse.
- 24-Out-05 Ordenação de listas: insertion sort, minsort e mergesort.
- 27-Out-05 Aula de revisões/dúvidas (dispensa de aulas, cf. ponto 1 do Despacho RT-43/2005).
- 31-Out-05 Ordenação de listas: mergsort e quicksort. Funções de ordem superior: motivação.
- 3-Nov-05 Funções de ordem superior: map e filter. Definição e uso de map e filter. Relação destas funções com a definição de listas por compreensão.
- 7-Nov-05 Definição e uso de foldr.
- 10-Nov-05 Foldr e foldl. INtrodução aos tipos indutivos: Bool e Maybe.
- 14-Nov-05 Definição de funções sobre Maybe a. Definição de Pilha como tipo indutivo. Árvores binárias: definição do tipo. Travessias.
- 17-Nov-05 Árvores binárias de procura. Motivação, definições e exemplos. Procura.
- 21-Nov-05 Classes e Polimorfismo: motivação. As classes Eq e Ord.
- 24-Nov-05 Sub-classes. Instâncias derivadas. A classe Show.
- 28-Nov-05 Exemplo de definição de uma instância da classe Show. Uso das variantes show e shows.
- 5-Dez-05 Input/Output em Haskell. Programas interactivos. Leitura e escrita em ficheiros.
- 12-Dez-05 Input/Output como exemplo de mónade. Avaliação do ensino ministrado.
- 15-Dez-05 Módulos e tipos abstractos de dados.