Aula 17 (T)
A classe Eq: exemplos de instâncias, instâncias com restrições e instâncias derivadas.
Extensão de classes. Os conceitos de herança e herança múltipla.
A classe Ord. Exemplos.
Aula 16 (T)
Records em haskell: exemplos de utilização.
Polimorfismo paramétrico e polimorfismo ad hoc (sobrecarga de operadores). Tipos qualificados.
Os conceitos de classe e de instância de classe. O conceito de tipo principal.
Exemplos de classes. Definições por omissão de métodos. A classe Eq: exemplos de instâncias.