Sumário

1 Dados gerais

2 Objetivos

Ao final do curso espera-se que os alunos possuam os seguintes conhecimentos e habilidades:

• Conhecimento das características fundamentais de linguagens funcionais modernas;
• Noções básicas sobre o modelo de execução de programas em linguagens funcionais;
• Noções básicas sobre sistemas de tipos e inferência de tipos;
• Capacidade de distinção entre polimorfismo paramétrico, de sobrecarga e de inclusão;
• Entendimento dos diferentes mecanismos de avaliação de expressões em linguagens de programação;
• Capacidade para comparar características de linguagens de diferentes paradigmas;
• Habilidade para programar em uma linguagem funcional moderna;
• Entendimento sobre a implementação da noção de estado em linguagens funcionais puras;
• Noções de derivação de programas a partir da especificação e sobre prova de correção de programas em linguagens funcionais.

3 Ementa

1. Características dos principais paradigmas de programação.
2. Princípios do paradigma de programação funcional.
3. Principais características das linguagens de programação funcional:
   • recursão,
   • abstração funcional,
   • funções de ordem superior,
   • tipos de dados algébricos,
   • polimorfismo,
   • inferência de tipos,
   • avaliação estrita e avaliação lazy, e
   • sobrecarga.
4. Estudo de uma linguagem funcional moderna e desenvolvimento de programas nesta linguagem, enfocando aspectos de correção, modularidade e reuso de código.

4 Metodologia de Ensino

Aulas teóricas

Aulas expositivas sobre o conteúdo. Os conceitos serão apresentados através da solução de problemas que requerem aplicação de tais conceitos. Será dada uma forte ênfase na implementação como instrumento para garantir a assimilação dos conceitos de orientação a objetos.

Aulas práticas

Aulas práticas onde o aluno terá a oportunidade de escrever programas e trechos de programas usando os conceitos e construções sendo estudados. Para tanto deverá seguir um roteiro com as tarefas a serem realizadas.

5 Atividades Discentes

Listas de exercícios

Exercícios de implementação de programas e trechos de programas para assimilação dos conceitos apresentados.

Trabalhos

Exercícios de implementação mais elaborados para consolidar os conceitos estudados.

6 Bibliografia

[1]

Graham Hutton. Programming in Haskell. Bibliografia básica. Cambridge University Press, 2007, p. 200. isbn: 0521692695. Livro-texto.

[2]

Simon Thompson. Haskell: The Craft of Functional Programming. Terceira edição. Bibliografia básica. Addison-Wesley, 2011, p. 608. isbn: 0201882957.

[3]

Bryan O’Sullivan, Don Stewart e John Goerzen. Real world Haskell. O’Reilly Series. O’Reilly, 2008, p. 700. isbn: 0596514980, 9780596514983.

[4]

Paul Hudak. The Haskell School of Expression – Learning Functional Programming through Multimedia. New York: Cambridge University Press, 2000, p. 416. isbn: 0521644089, 0521643384.

[5]

Miran Lipovača. Learn You a Haskell for Great Good!: A Beginner’s Guide. No Starch Press Series. No Starch Press, 2011. isbn: 9781593272838.

7 Avaliações

A avaliação será feita por um conjunto de provas escritas, um conjunto de trabalhos práticos, e um conjunto de listas de exercícios. A tabela a seguir enumera as atividades de avaliação previstas, com os respectivos pesos na formação da nota final, e datas de realização.

• A nota geral de cada conjunto de avaliações será dada pela média aritmética das notas obtidas nas atividades individuais desenvolvidas naquela forma de avaliação.
• A nota final será dada pela média ponderada das atividades avaliativas, conforme consta na tabela anterior.

As atividades deverão ser submetidas através do site da disciplina no sistema Moodle do DECOM: http://www.decom.ufop.br/moodle/course/view.php?id=315

8 Código de honra do aluno

Este assunto deve ser muito simples. Não entregue trabalhos de outra pessoa como sendo seus, e não compartilhe suas soluções com outros alunos.

Você deve se sentir livre para discutir os problemas propostos e os projetos de programação com os colegas, mas todo trabalho que você submeter ao professor deve ser de sua própria autoria. Ou seja, você deve elaborar suas próprias soluções para os problemas e implementar seus projetos de programação você mesmo.

Se você discutir suas idéias com outros estudantes, não tem problema, mas faça uma observação sobre o mesmo na submissão do seu trabalho.

As atividades propostas são para trabalho individual.

9 Grupo de discussão

Existe um grupo de discussão sobre o conteúdo da disciplina no Google Groups que deverá ser utilizado ativamente pelos alunos, professor e monitores durante o curso.

O professor e os monitores poderão propor questões para discussão no grupo, bem como problemas para serem resolvidos.

Caberá aos alunos discutir as questões e problemas propostos, apontando soluções básicas e/ou soluções alternativas ou comentando o assunto. Os alunos poderão também propor algum problema ou levantar alguma questão para discussão que julgarem interessante.

O endereço do grupo de discussão é http://groups.google.com/group/bcc222.

Cada aluno deverá se inscrever imediatamente no grupo e começar a participar das discussões.

10 Ferramentas

Nas aulas será utilizada a linguagem Haskell para desenvolver os conceitos de programação funcional. A implementação mais conhecida e usada de Haskell é o GHC, que pode ser obitido em conjunto com várias bibliotecas através da Plataforma Haskell.

Para desenvolver aplicações precisamos de um editor de texto. No Windows pode-se usar por exemplo o notepad++.

Existe também um plugin para o ambiente de desenvolvimento Eclipse: EclipseFP.

11 Aulas

12 Provas

13 Trabalhos

14 Notas e frequências

Resultados de avaliações e frequências

Última atualização: 2014-12-01 12:19:05 por José Romildo Malaquias.