• 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.