José Romildo Malaquias
Sala 21 – DECOM – ICEB III
Instituto de Ciências Exatas e Biológicas
Universidade Federal de Ouro Preto romildo@iceb.ufop.br
2018-1
1 Dados gerais
Departamento
Computação
Unidade
Instituto de Ciências Exatas e Biológicas
Carga horária semanal
2 teóricas + 2 práticas = 4 total
Duração em semanas
18
Carga horária semestral
72 horas-aula
Pré-requisitos
BCC201 – Introdução à Programação
Cursos
Ciência da Computação: obrigatória 3o período
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
Características dos principais paradigmas de programação.
Princípios do paradigma de programação funcional.
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.
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 roteiros 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 Avaliações
A avaliação será feita por um conjunto de provas escritas, um conjunto de trabalhos práticos, e um conjunto de mini testes. A princípio os mini testes acontecerão semanalmente ao fnal da aula teórica.
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.
Programming in Haskell Graham Hutton Cambridge University Press 2016 Segunda edição ISBN: 978-1316626221 318 páginas Bibliografia básica Livro-texto
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.
