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