Programación Funcional
Materia: Desarrollo de Software
Departamento: Lenguajes y Sistemas Informáticos e Ingeniería del Software
Créditos ECTS: 3
Semestre: 6
Carácter: Obligatoria
Resultados de aprendizaje
- Comprender los fundamentos matemáticos de la programación en los lenguajes de alto nivel funcionales.
- Desarrollar programas funcionales puros y monádicos
- Comprender y analizar el comportamiento semántico (operacional y denotacional) de programas funcionales.
Breve descripción de los contenidos
- Diseño, implementación y corrección de programas en el paradigma funcional.
- Recursión, orden superior, polimorfismo y mónadas.
- Semántica operacional y denotacional.
Bibliografía
- Graham Hutton. Programming in Haskell.
- Brian O'Sullivan et al. Real World Haskell.
- Paul Hudak. The Haskell School of Expression.
- Richard Bird. Introduction to Functional Programming using Haskell.