Métodos de Programação I - 1999/2000
[ DI/UM ]

Novo	As notas finais à data da época de recurso (Setembro) encontram-se disponíveis na secção respectiva.

Equipa docente

• Teóricas -- J.N. Oliveira (406006)
• Teórico-práticas -- J.B. Barros (406024) e F.L. Neves (406085)

Horário

Ref	Dia	Hora	Tipo	Sala	Cursos	Docente
1	2.ª-feira	18h00-20h00	TP(1)	2.307	LESI	F.L. Neves
2	3.ª-feira	08h00-10h00	TP(2)	2.312	LESI	J.B. Barros
3	3.ª-feira	10h00-12h00	TP(1)	2.111	LMCC	F.L. Neves
4	3.ª-feira	10h00-12h00	TP(3)	2.311	LESI	J.B. Barros
5	3.ª-feira	16h00-17h00	T	2.A104	LESI+LMCC	J.N. Oliveira
6	5.ª-feira	18h00-20h00	TP(4)	2.305	LESI	J.B. Barros
7	5.ª-feira	11h00-12h00	T	2.A102	LMCC+LESI	J.N. Oliveira
8	6.ª-feira	11h00-13h00	TP(2)	DI-2	LMCC	F.L. Neves
9	6.ª-feira	16h00-18h00	TP(5)	2.306	LESI	F.L. Neves

Regime de Avaliação

• Componentes:
  • t = informação teórica por prova escrita sem consulta de acordo com regulamentação interna em vigor (épocas normal, de recurso ou especial)
  • p = informação prática calculada como a média da informação relativa:
    • aos 2 melhores de 3 trabalhos práticos propostos para realização em grupo; cada trabalho, acompanhado dum relatório sucinto, será discutido em frente ao computador com cada grupo.

• Fórmula de avaliação: a nota final nf será dada pela fórmula:

  nf = if p < 9.5 then (if t > 16 then 16 else t) else p * 0.4 + t* 0.6

  sujeita à condição:

  t >= (if (p >= 9.5) then 8.0 else 9.5)

Atendimento

• Em qualquer altura: via email (jno@di.uminho.pt), devendo ser colocando no assunto o `string' MP-I/9900; toda a resposta que tenha interesse geral será aqui afixada na secção de `FAQ's.
• Sujeito a marcação verbal pelo docente respectivo, com um mínimo de uma semana de antecedência:

  Dia	Hora	Cursos	Docente
  2.ª-feira	10h00-13h00	LESI	J.B. Barros
  2.ª-feira	16h00-18h00	LESI+LMCC	F.L. Neves
  3.ª-feira	17h00-18h00	LESI+LMCC	J.N. Oliveira
  6.ª-feira	14h00-16h00	LESI+LMCC	F.L. Neves

Sumários

• Aulas Teóricas

Programa Resumido

• Motivação. Teoria e método em programação. Composicionalidade. Combinadores de programas. Modularidade e reutilização. «Pacotes» de programação.

• Programação funcional: sua motivação e antecendentes históricos. Composição de funções. Noções de abstracção e de isomorfismo.

• Iniciação à estruturação de dados. Combinadores básicos e suas propriedades estruturais (reflexão, fusão, absorção, cancelamento e de functorialidade). Álgebra de um tipo de dados. Lei da troca.

• Inferência de tipos segundo o método Hindley-Milner.

• Introdução às estruturas de dados indutivas regulares. Álgebras de functores. A triologia «cata-ana-hilo». Recursividade polinomial. Caso de estudo: algoritmos de ordenação.

• Parametrização e polimorfismo. Programação genérica. Functores de tipo. Introdução ao politipismo.

• Programação modular.

• Programação funcional com mónadas. `Input/output'. Excepções.

Trabalhos Práticos

• Trabalho prático Nr. 1 (prazo de entrega: terminou a 1999/11/19)
• Trabalho prático Nr. 2 (prazo de entrega: terminou a 2000/01/14)

Material Pedagógico

Procurar aqui [tgz, data desta versão: 00.01.19] os seguintes ficheiros, que contêm extensões ao Prelude.hs do Hugs 1.4 que são relevantes para esta disciplina:

• hugs - versão (compilada para Linux ver. 2.0.34) do interpretador Hugs 1.4 com opção readline. Para versões mais actuais pf. emviar email ao Prof. F.L. Neves.
• Mpi.hs - contendo as construções base da notação adoptada, e.g. ><, -|- etc.
• RList.hs - contendo os cata/ana/hilo-morfismos do tipo de dados listas à direita - data RList a = Nil | Cons (a, RList a) , e aplicações suas (e.g. factorial, `insertion sort', etc);
• BTree.hs - contendo os cata/ana/hilo-morfismos 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);
• demoBTree.hs - contendo material auxiliar para a visualização em HTML da estrutura de dados intermédia dos hilomorfismos qSort e hanoi do módulo anterior. Experimentar qSort_in_html [6,3,9,1,7,18] e hanoi_run_in_html 7, por exemplo. Encontrar-se-á a visualização no ficheiro /tmp/_.html;
• LTree.hs - contendo os cata/ana/hilo-morfismos do tipo de dados árvores binárias de folhas - LTree a = Leaf a | Split (LTree a, LTree a) e aplicações suas (e.g. duplo-factorial, `merge-sort', Fibonacci etc);
• demoLTree.hs - contendo material auxiliar para a visualização em HTML da estrutura de dados intermédia dos hilomorfismos mSort, dfac e fib do módulo anterior;
• FTree.hs - contendo os cata/ana/hilo-morfismos do tipo de dados árvores binárias completas - data FTree a c = Unit c | Comp (a, (FTree a c, FTree a c)), e aplicações suas;
• Exp.hs - auxiliar a demoBTree.hs e demoLTree.hs;

e ainda o ficheiro graph-classes.zip necessário à execução do 2.º trabalho prático.

FAQs

Carregar aqui para obter respostas às dúvidas mais frequentes da disciplina.

Bibliografia de Apoio

Bir98

R. Bird.
Introduction to Functional Programming Using Haskell .
Series in Computer Science. Prentice-Hall International, 2nd edition, 1998.
C. A. R. Hoare, series editor.

Ol99a

J.N. Oliveira.
An Introduction to Pointfree Programming.
37p., Departamento de Informática, Universidade do Minho, 1999.

Ol99b

J.N. Oliveira.
Recursion in the Pointfree Style.
33p., Departamento de Informática, Universidade do Minho, 1999.

VB98

J.M. Valença and J.B. Barros.
Fundamentos da Computação II: Programação funcional, 206p., 1998.

Provas de Avaliação

• Época Normal
  • 1.ª chamada - 5.ª-feira, 27 de Janeiro de 2000, 9h30, Salas 2301 a 2307 - Prova
  • 2.ª chamada - 3.ª-feira, 15 de Fevereiro 2000, 14h30, Sala 2306 - Prova
• Época de Recurso - 2.ª-feira, 4 de Setembro 2000, 14h30 Salas 2301 a 2303 - Prova
• Época Especial

Notas Finais

Observações:

• À data da Época de recurso.
• As pautas estão ordenadas por CoDisc (código de disciplina) e Nome dos alunos.

[ Informação removida (RGPD artigo 17º) ]

Voltar à página principal de MP-I.

Outras disciplinas leccionadas pelo DIUM