30 September 2007
Sumários | 07 October 2007 | 23 September 2007
Aula 3 (T)
04/10/07 | Teóricas | Permalink
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)
01/10/07 | Teóricas | Permalink
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.