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 da programação funcional.

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]

Andrei de Araújo Formiga. OCaml: Programação funcional na prática. Bibliografia básica. Casa do Código, 2015, p. 278. Livro-texto.

[2]

Jason Hickey, Anil Madhavapeddy e Yaron Minsky. Real World OCaml: Functional programming for the masses. Bibliografia básica. O’Reilly Media, 2013, p. 510. ISBN: 9781449323912. Livro-texto.

[3]

John Whitington. OCaml from the Very Beginning. Bibliografia básica. Coherent Press, 2013, p. 510. ISBN: 9780957671102.

[4]

Damien Doligez, Alain Frisch, Jacques Garrigue, Didier Rémy e Jérôme Vouillon. The OCaml System: Documentation and User’s Manual. Bibliografia básica. 2015. Livro-texto.

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=376

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 OCaml para desenvolver os conceitos de programação funcional.

11 Aulas

12 Trabalhos

13 Notas e frequências

Resultados de avaliações e frequências

Última atualização: 2015-12-14 12:13:39 por José Romildo Malaquias.