Última actualización: 25/05/2022


Curso Académico: 2022/2023

Programación Funcional
(19485)
Titulación: Grado en Ingeniería Informática (218)


Coordinador/a: FERNANDEZ ARREGUI, SUSANA

Departamento asignado a la asignatura: Departamento de Informática

Tipo: Optativa
Créditos: 6.0 ECTS

Curso:
Cuatrimestre:




Requisitos (Asignaturas o materias cuyo conocimiento se presupone)
Programación (Curso: 1/Cuatrimestre 1) Estructura de datos y algoritmos (Curso: 1/Cuatrimestre 2)
Objetivos
Adquirir los resultados del aprendizaje y las competencias especificados en la Memoria Verifica del título.
Competencias y resultados del aprendizaje
Enlace al documento

Descripción de contenidos: Programa
- Paradigma de programación funcional. - Funciones y reducción de expresiones. - Programación funcional y sistemas de tipos. - Clases de tipos. - Funciones de orden superior. - Programación monádica. - Teoría de la demostración
Actividades formativas, metodología a utilizar y régimen de tutorías
Seminarios y lecciones magistrales con apoyo de medios informáticos y audiovisuales. Aprendizaje práctico basado en casos y problemas y resolución de ejercicios. Trabajo individual y en grupo o cooperativo con opción a presentación oral o escrita. Tutorías individuales y en grupo para resolución de dudas y consultas sobre la materia. Prácticas y actividades dirigidas de laboratorios.
Sistema de evaluación
  • Peso porcentual del Examen Final 60
  • Peso porcentual del resto de la evaluación 40
Bibliografía básica
  • Graham Hutton. Programming in Haskell (2nd edition). Cambridge University Press. 2016
  • Richard Bird. Introduction to Functional Programming using Haskell (second edition). Prentice-Hall International. 1998
  • Richard Bird and Philip Wadler. Introduction to functional programming. Prentice-Hall. 1988
Bibliografía complementaria
  • Bartosz Milewski. Category Theory for Programmers. Edited by Igal Tabachnik.
  • Miran Lipovaca. Learn You a Haskell for Great Good!: A Beginner's Guide. No Starch Press. 2011

El programa de la asignatura podría sufrir alguna variación por causa de fuerza mayor debidamente justificada o por eventos académicos comunicados con antelación.