Lambda Calculus
El cálculo lambda es el fundamento matemático de la programación funcional: solo definición de función (λx.M) y aplicación (MN), y sin embargo es Turing-completo.
Propósito
Entender el fundamento teórico y el modelo de cómputo de la programación funcional.
Mecanismo
Tres reglas: variable x, abstracción λx.M (definir una función) y aplicación MN (llamar una función). La β-reducción ((λx.M)N → M[x:=N]) es el cómputo. La α-conversión renombra variables ligadas. La codificación de Church representa datos con lambdas.
Casos de uso
- Programación funcional
- Teoría de la computación
- Fundamentos de lenguajes