La programación funcional es un estilo de programación de computadora que se basa en la evaluación de funciones matemáticas. Es un estilo declarativo de programación, lo que significa que utiliza expresiones lógicas claramente definidas, pero no establece explícitamente qué debe hacer la computadora en cada paso. Un axioma de la programación funcional es que una función debe devolver el mismo resultado para cualquier conjunto dado de argumentos. Las funciones se adhieren a este concepto, "los mismos argumentos, el mismo resultado", sin importar cuántas veces se evalúe la función.

Una característica común de la programación funcional son los objetos inmutables. Cuando se establece el valor de un objeto inmutable, no se puede cambiar. En su lugar, se crean y modifican copias del objeto. El uso de este enfoque aumenta la seguridad de los datos y simplifica el proceso de depuración.

Ejemplos de lenguajes de programación funcionales.

Idempotencia, lenguaje de programación, términos de programación.