Sumários
Testes baseados em propriedades
17 Abril 2026, 08:00 • Alcides Fonseca
Teste de funções com QuickCheck: Definição de propriedades, teste de encontro a um modelo, propriedades condicionais, monitorização de dados de teste. Notas: Teste de funções com QuickCheck. Livro: Sullivan, capítulo 11.
Módulos
16 Abril 2026, 09:00 • Filipe Rafael Gomes Varjao
Módulos: exercício 2 da ficha 6 (Haskell).
Tipos e Classes de Tipos II
14 Abril 2026, 12:00 • Alcides Fonseca
Construção de tipos e de classes de tipos: tipos recursivos, árvores binárias, tornar tipos instâncias de classes de tipos, definição de novas classes de tipos, a classe de tipos Functor. Livro de texto: capítulo 8, Making our own types and typeclasses.
Tipos e Classes de Tipos II
14 Abril 2026, 09:30 • Alcides Fonseca
Construção de tipos e de classes de tipos: tipos recursivos, árvores binárias, tornar tipos instâncias de classes de tipos, definição de novas classes de tipos, a classe de tipos Functor. Livro de texto: capítulo 8, Making our own types and typeclasses.