Aula 3 (T)
Inferência de tipos: noção de variável de tipo; funções polimórficas.
A noção de módulo como componente de software, e a sua manipulação.
O módulo Prelude.
Aula 2 (T)
Conceitos fundamentais da programação em Haskell: valores e expressões; tipos básicos e tipos compostos.
Definições de funções simples. Equações como regras de cálculo. Preservação de tipos.