Aula 3 (T)
04/10/07 | Teóricas
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.