Programación funcional

Este curso presenta los aspectos principales de la teoría de la programación funcional (FP), incluyendo el cálculo de lambda, la teoría de tipos, la especificación algebraica de datos, la teoría de categorías, la co-inducción y streams, y las mónadas. Por otro lado, mostraremos cómo esa teoría ha sido adoptada por los principales lenguajes de programación, como Java8 (y desarrollos posteriores) y cómo crear aplicaciones interesantes de la vida real en Java funcional.El curso reflejará la historia de la teoría de la computación y la práctica de la programación de computadoras, que ha evolucionado durante décadas en dos enfoques en competencia, el enfoque basado en el estado (Turing Machines, imperativo, lenguajes de programación procedimental y programación orientada a objetos paradigma) y el enfoque funcional (Cálculo Lambda, lenguajes funcionales, funciones de orden superior, paradigma declarativo). Dos lenguajes y sistemas representativos han sido Java y Haskell, respectivamente. El curso cubre ambos lenguajes de programación y da ejemplos de programas para Internet de las Cosas (IoT) o para Big Data. En la última década, se ha observado un fuerte cambio hacia la programación funcional y lenguajes como Java han adoptado enfoques funcionales para obtener un código más simple y rápido, reducir la cantidad de errores y pruebas y mejorar la robustez de los programas. La computación no se ve como una serie de pasos en un sistema de transición etiquetado, sino como la evaluación de funciones matemáticas