CP/2021

Material Pedagógico

O material de apoio às aulas desta disciplina irá sendo disponibilizado nesta página à medida que as aulas forem progredindo.

Vídeos das aulas teóricas

• Entrar aqui e selecionar o vídeo por data na coluna 2020/21.
• Os vídeos podem também ser acedidos por localização de tópico.

Recomenda-se aos alunos que vejam os vídeos antes da respectiva aula. No horário das aulas T o docente estará on-line para responder a questões e dúvidas.

Enunciados das provas de avaliação

Data	Hora	Local	Descrição	Enunciado
02-Jun	15h30	Cantina, CP2-0.28, CP2-0.32	Teste individual	PDF
22-Jun	15h15	Cantina, CP1-0.08	Exame de recurso	PDF
14-Jul	14h00	Sala CP1-0.08	Exame da época especial	PDF

Fichas das aulas práticas

• Ficha 1
• Ficha 2
• Ficha 3
• Ficha 4
• Ficha 5
• Ficha 6
• Ficha 7
• Ficha 8
• Ficha 9
• Ficha 10 (última)

Enunciado do trabalho prático

O material para realização do TP desta disciplina encontra-se no ficheiro comprimido cp2021t.zip, que contém a respectiva fonte (ficheiro cp2021t.lhs), o respectivo PDF (ficheiro cp2021t.pdf) e outros ficheiros auxiliares.

Quem preferir utilizar o Stack (recomendado para quem use distribuições que tenham por base Arch Linux) pode utilizar este projecto.

Bibliotecas de Software (em Haskell)

• google.hs - caso de estudo “Google MapReduce” (ver esse tópico nos vídeos).
• Exp.hs - biblioteca contendo os cata/ana/hilomorfismos do tipo de dados expressões com variáveis.
• 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).
• SList.hs - biblioteca geral para listas com sentinela em Haskell, contendo combinadores (e.g. ana-cata-hilo) e exemplos de utilização.
• List.hs - biblioteca geral para listas em Haskell, contendo combinadores (e.g. catamorfismos) e exemplos de utilização.
• XNat.hs - biblioteca de naturais estendidos (combinador tail-recursion etc).
• 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.

(mais bibliotecas sairão à medida que a disciplina avance)

Outro material

• Formulário

Transparentes

• Slides da aula de apresentação de 22-Fev.

• Transparentes referidos na primeira aula teórica: Towards Formal Software Development in VS.NET (slides 20 a 33).

“Links”

• Is abstraction the key to computing? por Jeff Kramer (2007).

• Programming and Maths por Harold Carr (LambdaConf 2015).

• Efeméride: foi há 40+ anos (1978) que o cientista da IBM John Backus publicou o artigo da sua Turing Award - Can Programming be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs - em que declarou as linguagens convencionais incapazes para os desafios que se anunciavam (arquitecturas paralelas), promovendo a programação funcional e iniciando a disciplina da álgebra da programação.

• Haskell na indústria de Software: https://wiki.haskell.org/Haskell_in_industry