Programação Funcional

Licenciatura em Matemática e Ciências de Computação
1º Ano - 1º Semestre (7001N7)
Ano lectivo 2005/2006 (Ano anterior)

Programa

Na actual estrutura da Licenciatura em Matemática e Ciências de Computação, esta é a primeira disciplina de Informática. Por esta razão, o primeiro grande objectivo desta disciplina é a introdução à programação de computadores.

Dos vários paradigmas de programação (imperativo, funcional, lógico e orientado a objectos) apresentados ao longo da licenciatura, nesta disciplina estuda-se o paradigma funcional, tendo por base a linguagem de programação Haskell.

Esta abordagem tem a vantagem de não exigir dos alunos grandes conhecimentos prévios sobre a arquitectura física dos computadores, para poderem entender e escrever programas funcionais, permitindo, por esse motivo, trabalhar mais facilmente com turmas heterogéneas em conhecimentos de informática.

A linguagem Haskell é uma linguagem puramente funcional fortemente tipada e com um sistema de tipos extremamente rico, o que permite não só ensinar os conceitos fundamentais da programação (funcional), onde se incluem tópicos tais como: tipos de dados, estruturas de controlo, e recursividade; como também ensinar conceitos avançados, como por exemplo: funções de ordem superior, polimorfismo, classes, modularidade, e monades.

Programa detalhado

Bibliografia

• Fundamentos da Computação, Livro II: Programação Funcional. José Manuel Valença e José Bernardo Barros. Universidade Aberta, 1999.

• Introduction to Functional Programming using Haskell. Richard Bird. Prentice-Hall, 1998.

• Haskell: the craft of functional programming. Simon Thompson. Addison-Wesley.

• A Gentle Introduction to Haskell. Paul Hudak, John Peterson and Joseph Fasel.

Critérios de Avaliação

A avaliação desta disciplina tem duas componentes obrigatórias.

• A componente teórica tem um peso de 60% e consiste na realização de uma prova individual escrita (exame)

• A componente prática, com um peso de 40%, consiste na realização de dois trabalhos e na avaliação do desempenho nas aulas laboratoriais.

• A nota mínima em cada uma das componentes é de 9,5 valores.

Os trabalhos práticos são resolvidos em grupos de 3 alunos (todos do mesmo turno prático).

Os alunos com aprovação na componente prática no ano anterior, podem pedir para essa nota ser congelada. O ficheiro seguinte contém a lista de alunos em condições de congelar a nota prática obtida em 2004-2005 (LMCC).

A decisão de congelar a nota deverá ser comunicada por e-mail a Maria João Frade, até ao dia 31 de Outubro de 2005.

Melhorias de Nota

Os alunos que pretendam melhorar a nota a esta disciplina terão de se inscrever nos SAUM para o efeito e realizar um trabalho cujo enunciado está disponível AQUI (ou aqui: enunciado e ficheiros de exemplo). Este trabalho é individual.

A avaliação destes alunos será feita através de um exame oral, onde será apresentado o trabalho e onde serão colocadas questões sobre a generalidade da matéria. Estes exames orais decorrerão na data prevista para os restantes exames orais da disciplina, i.e., depois das duas chamadas da época normal (data a anunciar nesta página). Até 3 dias antes da oral deverá ser entrege um relatório do trabalho com a listagem do código do programa em anexo, e deverá também ser enviado por mail o .zip do trabalho.

AVISO: Estes exames orais serão realizados no dia 8 de FEvereiro (4ª feira), às 9h30. Os alunos deverão esperar na recepção do DI (piso 0).

Equipa Docente

• Maria João Frade
• José Bernardo Barros
• José Carlos Ramalho
• Olga Martins Pacheco

Horário Lectivo

Horário de Atendimento

Docente	Horário
jcr	...
jbb	2ªf 9:00-12:00
omp	2ªf, 3ªf e 4ªf 12:00-13:00
mjf	4ªf 14:00-16:00

Material Disponibilizado

Aulas Teóricas

• Haskell: slides 1-52 (pdf)
• Haskell: slides 53-64 (pdf)
• Haskell: slides 65-80 (pdf)
• Haskell: slides 81-96 (pdf)
• Haskell: slides 97-132 (pdf)
• Haskell: slides 133-168 (pdf)
• Haskell: slides 169-184 (pdf)

Aulas Práticas

Guiões:

• Aula 1 (semana de 3 a 7 de Outubro)
• Aula 2 (semana de 10 a 14 de Outubro)
• Aula 3 (semana de 17 a 21 de Outubro)
• Aula 4 (semana de 24 a 28 de Outubro)
• Aula 5 (semana de 7 a 11 de Novembro)
• Aula 6 (semana de 14 a 18 de Novembro)
• Aula 7 (semana de 21 a 25 de Novembro)
• Aula 8 (semana de 28 de Novembro a 2 de Dezembro)
• Aula 9 (semana de 5 a 9 de Dezembro) - Ficheiros (zip)

Trabalhos Práticos:

• Enunciado do 1º trabalho prático.
  • Os grupos terão obrigatoriamente 3 elementos.
  • As apresentações dos trabalhos serão feitas, na semana de 31 Outubro a 4 de Novembro, no horário dos turnos práticos. Exceptuam-se os turnos de 3ª feira (feriado), que terão que apresentar o trabalho na 4ª feira em horário a marcar. Para os grupos destes turnos, existirá uma folha de marcação de horário na recepção do DI.

• Enunciado do 2º trabalho prático.
  • Os grupos terão obrigatoriamente 3 elementos.
  • As apresentações dos trabalhos serão feitas, na semana de 12 Dezembro a 16 de Dezembro, no horário dos turnos práticos.

Notas

• Notas do 1º trabalho prático.
• Notas práticas finais.
• Notas da Época Normal.
• Notas da Época de Recurso.
• Notas da Época Especial.

Exames

• Exame da 1ª Chamada.
• Exame da 2ª Chamada.

Links Úteis

• The Haskell Home Page
• GNU Emacs
• XEmacs: The next generation of Emacs
• The Glasgow Haskell Compiler
• Hugs 98
• The Haskell 98 Language Report
• The Haskell Wiki