14 October 2007
Sumários | 21 October 2007 | 07 October 2007
Aula 7 (T)
18/10/07 | Teóricas | Permalink
Definições locais. Operadores infixos. Funções com guardas.
Os construtores atómicos do tipo lista. Definição de funções recursivas sobre listas.
Aula 6 (T)
15/10/07 | Teóricas | Permalink
Noção de padrão e concordância de padrões. Equações como regras de redução.
Redução: lazy evaluation versus eager evaluation.
Definições multi-clausais de funções. Funções totais e funções parciais.
Tipos sinónimos.