Programação Funcional

Imagem d@ André de Matos Pedro [Ficheiro Local]
André de Matos Pedro
Código:
14348
Ano:
2
Semestre:
S2
Créditos ECTS:
6
Carga Horária:
PL(30H)/T(30H)
Área Científica:
Informática
Objectivos de Aprendizagem:
Os objectivos gerais de aprendizagem são os seguintes
• Compreender os fundamentos da programação funcional na resolução de problemas computacionais.
• Compreender as diferenças entre os paradigmas de programação imperativa e funcional.
• Compreender os conceitos básicos do paradigma funcional usando uma linguagem funcional.
• Desenvolver competências de programação funcional através de programas que envolvam tipos de dados algébricos.
• Desenvolver competências de programação funcional utilizando técnicas de programação dinâmica ou retrocesso.
Conteúdos programáticos:
• Noções básicas de OCaml (bindings, condicionais, registos, funções)
• Funções recursivas e tipos recursivos
• Benefícios da não mutação
• Tipos de dados algébricos, correspondência de padrões
• Recursividade terminal
• Funções de ordem superior; fechos
• Âmbito lexical
• Currying
• Açúcar sintático
• Equivalência e efeitos
• Polimorfismo paramétrico
• Inferência de tipos
• Tipos abstractos e módulos
Metodologias de Ensino e Critérios de Avaliação:
Neste domínio do conhecimento, é particularmente importante combinar a teoria com a prática. Assim, a metodologia de ensino procura refletir o melhor possível esta realidade. Embora os conceitos teóricos sejam lecionados no ensino teórico, existe uma forte componente prática dedicada exclusivamente a garantir que os alunos são capazes de tirar partido dos avanços desta disciplina (da programação funcional).
Bibliografia principal:
Jean-Christophe Filliâtre, Sylvain Conchon. Apprendre à programmer avec OCaml, Eyrolle, 2014. ISBN-13: 978-2212136784

Emmanuel Chailloux, Pascal Manoury, and Bruno Pagano. Developing Applications With Objective Caml. O'Reilly France, 2002. ISBN-13: 978-2841771219

Anil Madhavapeddy and Yaron Minsky. Real World OCaml: Functional Programming for the Masses. 2nd ed. Cambridge: Cambridge University Press, 2022. ISBN-13: 978-1009129220.

John Whitington. OCaml From the Very Beginning. Coherent Press, 2013. ISBN-13: 978-0957671102.

Michael R. Clarkson. OCaml Programming: Correct + Efficient + Beautiful. Self-Publishing, 2024.
Língua:
Português