Introducción sobre qué son la computación y la programación en pos de delimitar su campo de acción. En segundo lugar, presenta el cálculo lambda, el modelo de computación que influenció a la programación funcional en los años cuando ni siquiera existían los lenguajes de programación, ni mucho menos los ordenadores digitales.
La programación funcional ofrece diversas ventajas a la hora de construir software: reducción de errores, manejo eficiente de datos en entornos concurrentes y paralelos, y un gran respaldo teórico. No obstante, muchos programadores fracasan en su intento de adentrarse en ella por ir directamente a aprenderla usando un lenguaje de programación (tecnología), con lo que omiten la teoría y el contexto histórico que le dio origen.
La visión general de la computación, la programación y los lenguajes de programación. Los fundamentos que subyacen a la programación funcional, como el cálculo lambda. Las diferencias entre el cálculo lambda libre de tipos y tipado.
La aplicación de estos conceptos en un lenguaje de programación de estirpe funcional, como lo es Racket, y en otro de uso masivo, como Python. El diseño y la construcción de un pequeño lenguaje de programación usando el enfoque funcional.
TEMARIO
- INTRODUCCIÓN A LA COMPUTACIÓN Y LA PROGRAMACIÓN
- ¿Qué es la computación?
- ¿Qué es la programación?
- Lenguajes de programación
- CÁLCULO LAMBDA
- ¿Qué es el cálculo lambda?
- Operadores y variables
- Reducción
- Aritmética
- Condicionales
- Tuplas y listas
- Tipos
- Cálculo-λ como base de un lenguaje de programación real
- PROGRAMACIÓN FUNCIONAL
- ¿Qué es la programación funcional?
- Estructuras de datos
- Algoritmos
- Crear un pequeño lenguaje de programación usando Racket
- Etc...
