Programação Funcional CC

Recepção dos trabalhos práticos.

Recepção dos trabalhos práticos.

Inquéritos para avaliação do ensino ministrado.
Revisões.

O tipo abstracto Tabela: exemplos de diferentes implementações destes tipos. Utilização do tipo tabela na continuação do exemplo da aula anterior, agora enriquecido com definições.

Definição de um tipo algébrico para representação de expressões aritméticas. Definição de funções para: cálculo do valor de uma expresão, apresentação das expressões em notação infixa e posfixa. Reconstrução da expressão aritmética a partir da sua representação em notação posfixa, com o auxilio de uma stack.

Tipos concretos de dados versos tipos abstractos de dados.
Implementação de tipos abstractos de dados em Haskell usando módulos.
Os tipos abstractos Stack e Queue: exemplos de diferentes implementações destes tipso, e da sua utilização.

Módulos: os diferentes formas de exportação e importação de entidades; exemplos.
Compilação de programas Haskell.

Funções de input/output do Prelude e do módulo IO.
Manipulação de ficheiros de texto. Exemplos de como carregar/guardar a informação de/para ficheiro. Vários exemplos.
O construtor de tipos Maybe como instância da classe Monad. Exemplo de utilização.

Declaração de tipos polimórficos com restrições nos parâmetros.
A hierarquia de classes pré-definidas do Haskell.
Classes de constructores de tipos. A classe Functor e exemplos de instâncias desta classe.
Introdução ao conceito de mónade e apresentação da classe Monad.
O mónade IO; a notação do; funções IO do Prelude. Vários exemplos de funções com acções de input/output.

Apresentação de algumas classes pré-definidas do Haskell: Ord, Show, Num, Enum e Read. Exemplos da sua utilização.
Declaração do tipo Nat como instância de cada uma destas classes.

A classe Eq: exemplos de instâncias, instâncias com restrições e instâncias derivadas.
Extensão de classes. Os conceitos de herança e herança múltipla.
A classe Ord. Exemplos.

Records em haskell: exemplos de utilização.
Polimorfismo paramétrico e polimorfismo ad hoc (sobrecarga de operadores). Tipos qualificados.
Os conceitos de classe e de instância de classe. O conceito de tipo principal.
Exemplos de classes. Definições por omissão de métodos. A classe Eq: exemplos de instâncias.

Não há aula teórica.

Não há aula teórica.

Árvores binárias de procura e árvores balanceadas.

O tipo de dados árvore binária. Diversas funções recursivas sobre árvores binárias.
Travessias de árvores binárias: preorder, inorder e postorder.

Tipos algébricos: exemplos tipos recursivos e polimórficos.
Análise de casos (expressões case).
O tipo (Maybe a) e exemplos da sua utilização.

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.

Funções de ordem superior. A função foldr e a composição de funções. Vários exemplos da sua utilização.

Funções de ordem superior. As funções map e filter. Exemplos da sua utilização.

Algoritmos de ordenação de listas. "Insertion sort" e "quick sort" (várias versões).
Função de teste de ordenação.

Definição e análise de funções recursivas sobre listas.
A função zip e a função unzip.

Definições locais. Operadores infixos. Funções com guardas.
Os construtores atómicos do tipo lista. Definição de funções recursivas sobre listas.

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.

Dispensa de aulas (despacho RT-61/2007).

Definição de funções e a sua invocação: curried versus uncurried.
O tipo polimórfico [a] e o tipo String. Algumas funções pré-definidas sobre estes tipos.
Definição de lista por compreensão.

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.

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.

Apresentação. O paradigma funcional de programação.