Material Pedagógico
Fichas das aulas práticas
Notas pedagógicas
Transparentes
Outro material
Bibliotecas de Software (em Haskell)
- St.hs
- contendo uma versão simplificada do mónade de estado (NB: demos.hs foi actualizada com um exemplo de catamorfismo sobre o mónade de estado).
- demos.hs - contendo material auxiliar para a visualização em HTML da estrutura de dados virtual (intermédia) dos hilomorfismos qSort, hanoi, mSort etc das bibliotecas BTree.hs e LTree.hs. Experimentar qSort_vtree [6,3,9,1,7,18] e hanoi_vtree (True, 7), por exemplo. Encontrar-se-á a visualização no ficheiro _.html da directoria corrente.
- Exp.hs - biblioteca auxiliar a demos.hs.
- BTree.hs - biblioteca contendo os cata/ana/hilomorfismos do tipo de dados árvores binárias - data BTree a = Empty | Node(a, (BTree a, BTree a)), 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 - LTree a = Leaf a | Fork (LTree a, LTree a) e aplicações suas (e.g. duplo factorial, `merge-sort', Fibonacci etc).
- List.hs - biblioteca geral para listas em Haskell, contendo combinadores (e.g. catamorfismos) e exemplos de utilização.
- Nat.hs - biblioteca de naturais (combinador ciclo-for, etc).
- Cp.hs - contendo os combinadores de base do cálculo de programas, e.g. split, ><, -|- etc.
Enunciado o trabalho prático
O
material para realização do
TP desta disciplina consta de um
enunciado (
cp1415t.pdf) e de um zip
(
cp1415t.zip) contendo a respectiva fonte (ficheiro cp1415t.lhs) + outros ficheiros e bibliotecas auxiliares.
Os alunos devem começar por ler
cp1415t.pdf para avaliarem o trabalho que há para fazer. Devem ainda deixar para o fim as questões da última parte, cuja matéria só na semana que vem começará a ser leccionada.
Enunciados de provas de avaliação