LPIII (Programação Funcional)
Códigos utilizados para a cadeira de Linguagem e Laboratório de Linguagem de Programação III (Programação Funcional), ministrada pelo Professor Andrei de Araujo Formiga do Centro de Informatica da Universidade Federal da Paraıba
Linguagem escolhida para abordamento: Elixir
LINGUAGEM DE PROGRAMAÇÃO III
-
Ementa: Revisão da fundamentação teórico-conceitual e apresentação de uma linguagem de programação moderna declarativa (lógica ou funcional). Aplicações práticas.
-
Objetivos: Apresentar os princípios da programação funcional e a prática desses princípios em uma linguagem funcional concreta. Apresentar aplicações criadas com essa linguagem de programação funcional.
-
Conteúdo: Introdução à Programação Funcional. Introdução à linguagem de programação Elixir. Recursividade. Acumuladores. Recursividade de cauda e eficiência. Funções de alta-ordem. Padrões de recursividade. Estado e outras características imperativas. Processos e mensagens.
-
Habilidades e Competências: Entender o uso das ideias da programação funcional na criação e projeto de programas de computador. Aplicação dos princípios do paradigma funcional na criação de programas na linguagem Elixir.
-
Docente: Andrei de Araujo Formiga
-
Carga horária: 60 horas – 04 Créditos
-
Departamento: Informática
Referências:
- Livro Simon Thompson. Haskell: The Craft of Functional Programming. 3a. Addison-Wesley. 2011
- Livro Richard Bird, Philip Wadler. Introduction to Functional Programming. 1. Prentice Hall. 1988
- Livro Andrei de Araújo Formiga. OCaml: Programação Funcional na Prática. 1. Casa do Código. 2015
- Livro Richard Bird. Thinking Functionally with Haskell. 1a. Cambridge University Press. 2014
Referências Complementares
- Livro J. Roger Hindley, Jonathan P. Seldin. Lambda-Calculus and Combinators: An Introduction. 2a. Cambridge University Press. 2008
- Livro Richard Bird. Pearls of Functional Algorithm Design. 1a. Cambridge University Press. 2010
- Livro Chris Okasaki. Purely Functional Data Structures. 1a. Cambridge University Press. 1998
- Livro Benjamin C. Pierce. Types and Programming Languages. 1a. MIT Press. 2002