Este documento presenta una introducción a la programación funcional. Explica que la programación funcional surgió en los años 1960 para satisfacer las necesidades de investigación en inteligencia artificial. Sus características principales son tratar los cálculos como funciones matemáticas y la ausencia de asignación y bucles. Luego, introduce conceptos clave como la currificación, el cálculo lambda y tipos de datos en Haskell. Finalmente, muestra ejemplos básicos de declaración de funciones y reducción de expresiones.