CP/2526

Material Pedagógico

Enunciado do trabalho prático [método B]

O enunciado completo do TP (com as questões Q3 e Q4) encontra-se no ficheiro comprimido cp2526t-a.zip, que contém a respectiva fonte (ficheiro cp2526t.lhs), o respectivo PDF e outros ficheiros auxiliares. Data de entrega: 12-Jan-2026.

Fichas das aulas práticas

• Ficha 1 - revisões de Progamação Funcional
• Ficha 2
• Ficha 3
• Ficha 4
• Ficha 5
• Ficha 6
• Ficha 7
• Ficha 8
• Ficha 9
• Ficha 10
• Ficha 11
• Ficha 12

---

Slides das aulas teóricas

• Aulas T01-T11 - PDF + PDF

Mais slides irão sendo disponibilizados à medida que as aulas forem progredindo.

---

Vídeos (aulas teóricas)

• Entrar aqui e selecionar.

(Também se podem selecionar os vídeos por tópico)

---

Outro material

• Formulário

---

Enunciados das provas de avaliação

Data	Hora	Local	Curso(s)	Descrição	Enunciado
25-Out	9h-11h	Edificio 2 - 0.11+0.20+1.01+1.03+1.05+ 1.07	LEI+LCC	1º teste escrito	PDF
17-Jan	9h-11h	Edificio 2 - 1.01+1.05+1.07	LEI+LCC	2º teste escrito	PDF
31-Jan	9h-11h	Salas E1-0.08 + E1-0.22	LEI+LCC	Exame de recurso	PDF

---

Bibliotecas de Software (em Haskell)

• Cp.hs - contendo os combinadores de base do cálculo de programas, e.g. split, ><, + etc.
• Nat.hs - biblioteca de naturais (combinador ciclo-for, etc).
• List.hs - biblioteca geral para listas em Haskell, contendo combinadores (e.g. catamorfismos) e exemplos de utilização.
• BTree.hs - biblioteca para o tipo de dados árvores binárias com informação nos nós e aplicações suas (e.g. torres de Hanói, quick-sort, etc).
• LTree.hs - biblioteca contendo os cata/ana/hilomorfismos do tipo de dados árvores binárias de folhas e aplicações suas (e.g. Fibonacci, duplo factorial, merge-sort, etc).
• FTree.hs - biblioteca contendo os cata/ana/hilomorfismos do tipo de dados árvores binárias completas.
• Exp.hs - biblioteca contendo os cata/ana/hilomorfismos do tipo de dados expressões com variáveis.
• Rose.hs - biblioteca contendo os cata/ana/hilomorfismos do tipo de dados “rose trees”.

Caso de estudo:

• google.hs - caso de estudo “Google MapReduce” (ver esse tópico nos vídeos). (Mais a adicionar à medida que a matéria vá avançando.)

Ficheiros auxiliares:

• St.hs (mónade de estado simplificado) e RelCalc.hs (operações relacionais várias).