Sumários
Módulos
2 Novembro 2017, 13:30 • Vasco Manuel Thudichum de Serpa Vasconcelos
Exercícios: capítulo VI, exercício 1, empty, singleton, intersection, union, member, partition, filter.
Módulos.
31 Outubro 2017, 16:30 • Alcides Fonseca
Módulos. Exercícios: capítulo VI, exercício 1, empty, singleton, intersection, union, member, partition, filter. Os alunos das TPs 6 e 7 devem tentar assistir a uma qualquer das outras TPs (horário).
Módulos.
31 Outubro 2017, 13:00 • Alcides Fonseca
Módulos. Exercícios: capítulo VI, exercício 1, empty, singleton, intersection, union, member, partition, filter. Os alunos das TPs 6 e 7 devem tentar assistir a uma qualquer das outras TPs (horário).
Construção de tipos e de classes
30 Outubro 2017, 15:00 • Vasco Manuel Thudichum de Serpa Vasconcelos
Livro de texto: capítulo 8. Tipos recursivos; listas e árvores binárias; definição de funções sobre novos tipos; fold sobre árvores; derivação automática de typeclasses; instanciação do tipo lista às typeclasses Show, Eq e Ord.
Funções de ordem superior.
27 Outubro 2017, 13:30 • Alcides Fonseca
Funções de ordem superior. Exercícios: capítulo V, exercícios 11-13, 19, 20, 22, 23.