Tabla de contenido:
Definición - ¿Qué significa el cálculo Lambda?
El cálculo de Lambda es un tipo de sistema formal de lógica matemática utilizado en informática para la definición, aplicación y recursión de funciones.
La programación funcional de la computadora surgió de este tipo de cálculo, y actúa a su vez como modelo para el desarrollo de software al proporcionar una semántica simple para el cálculo con funciones. A diferencia de las funciones imperativas, que pueden cambiar el estado del programa porque no tienen transparencia referencial, la programación funcional no cambia el estado del programa.
Techopedia explica el cálculo de Lambda
El cálculo de Lambda hace que los hilos de código de idioma tengan exactamente los mismos valores, independientemente de la hora o máquina en la que se ejecutó el hilo de código. Este no es el caso con la programación de funciones imperativas, que generalmente tiene respuestas de programa impredecibles.
La programación funcional se puede realizar en cualquier lenguaje de programación, incluso aquellos que no fueron diseñados con estructuras de programación funcional predeterminadas.
