CCT-UFCA/Ciência da Computação/Programação Funcional
Programa do Componente Curricular
[editar | editar código]| Código: | - | ||||||||
| Componente Curricular: | Programação Funcional | ||||||||
| Semestre de Oferta: | - | Tipo: | Disciplina | Caráter: | Optativa | ||||
| Unidade Acadêmica Responsável: | Centro de Ciências e Tecnologia - CCT | ||||||||
| Área: | Programação | ||||||||
| Créditos: | 4 | Carga horária: | 64 | Teórica: | 64 | Prática: | 0 | Extensão: | - |
| Pré-requisito: | CC0062 - Laboratório de Algoritmos e Estruturas de Dados | ||||||||
| Co-requisito: | - | ||||||||
| Equivalência: | - | ||||||||
Objetivos
[editar | editar código]Estudar a programação funcional sob uma ótica atual, trabalhando com linguagens recentes e tendo em vista dois campos de aplicação que estão na ordem do dia: a utilização efetiva de máquinas multicore por programas concorrentes, e a criação de aplicações distribuídas voltadas para a Web ou para a Internet.
Ementa
[editar | editar código]A linguagem Erlang. Programação concorrente em Erlang. O modelo de atores. Programação distribuída em Erlang. A plataforma Erlang/OTP. Programação de máquinas multicore em Erlang. A linguagem Scala. Suporte ao paradigma funcional e à orientação a objetos em Scala. Inferência de tipos em Scala. Tópicos avançados de Scala.
Conteúdo
[editar | editar código]Metodologia
[editar | editar código]Avaliação
[editar | editar código]Bibliografia Básica
[editar | editar código]- FORMIGA, A. A. OCaml: Programação funcional na prática. Bibliografia básica. Casa do Código, 2015, p. 278. Livro-texto.
- AYALA-RINCON, M.; MOURA, F. L. C. Fundamentos da Programação Lógica e Funcional. O Princípio de Resolução e a Teoria de Reescrita. Editora UNB,
- WAMPLER, D. Programação Funcional Para Desenvolvedores Java. Novatec, 2012.
Bibliografia Complementar
[editar | editar código]- HICKEY, J.; MADHAVAPEDDY, A.; MINSKY, Y. Real World OCaml: Functional programming for the masses. O'Reilly Media, 2013, p. 510. isbn: 9781449323912
- WHITINGTON, J. OCaml from the Very Beginning. Coherent Press, 2013, p. 510. isbn: 978-0957671102
- ARMSTRONG, J. Programming Erlang: Software for a Concurrent World, Pragmatic Bookshelf, 2007.
- ODERSKY M.; SPOON, L.; VENNERS, B. Programming in Scala, Second Edition. Artima Press, 2010
- FORBELLONE, A. L. V.; EBERSPÄCHER, H. F. Lógica de programação: a construção de algoritmos e estruturas de dados . 3. ed. São Paulo, SP: Makron, 2005. xii, 218 p. ISBN 9788576050247 (broch.).