Página principal
Disciplina
No curso de "Linguagem de Programação
2" (if098), estudaremos o paradigma de programação funcional.
Os principais tópicos estudados são: programação
com funções, programação com listas, recursão,
prova de propriedades sobre programas, provas por indução, inferência
de tipos, tipos de dados algébricos, árvores, avaliação
estrita e preguiçosa. A linguagem de programação utilizada
será "Haskell".
Pré-requisito
if096
- Algoritmos e Estrutura de Dados
Professor
André
Santos (alms@cin.ufpe.br)
Monitores
- (-@cin.ufpe.br)
Newsgroup
Informações tais como resultados de notas e outros avisos, bem como discussões entre os alunos do curso sobre o curso devem ser feitas usando o newsgroup do curso: depto.cursos.grad.if098.
Hugs, interpretador de Haskell
A linguagem Haskell será utilizada através
do interpretador hugs, que está instalado em todas as máquinas.
No Unix basta digitar "hugs" na linha de comando. Já no Windows,
procure o "WinHugs" em "Linguagens funcionais".
Na home
page do Hugs podem ser encontradas maiores informações sobre
o interpretador e sua versão mais recente para download.
Avaliação
A avaliação é composta de 2 provas
(+ prova final) e 1 projeto. As provas conterão questões práticas
e teóricas, e poderão, a critério do professor, ser realizadas
em laboratório.
média = (prova1 + prova2 + projeto)/3