04 November 2007
Sumários | 11 November 2007 | 28 October 2007
Aula 12 (T)
08/11/07 | Teóricas | Permalink
Definição de novos tipos de dados. Tipos algébricos: exemplos de tipos enumerados e de co-produtos.
Definição do tipo dos números naturais e de funções que manipulam este tipo de dados.
Aula 11 (T)
05/11/07 | Teóricas | Permalink
Funções de ordem superior. A função foldr e a composição de funções. Vários exemplos da sua utilização.