Lisp y Cálculo Lambda: Una historia de teoría y práctica

Este artículo explora la relación entre Lisp y el cálculo lambda. John McCarthy, el creador de Lisp, no comprendía completamente el cálculo lambda inicialmente, pero tomó prestada su notación para crear Lisp. Lisp no es una implementación directa del cálculo lambda, sino más bien inspirada en él, incorporando características del hardware IBM 704. El artículo profundiza en la historia inicial de Lisp, incluyendo la implementación de su evaluador EVAL y la conexión entre las operaciones car/cdr y la IBM 704. Se introducen conceptos fundamentales del cálculo lambda, ilustrados con un lenguaje de juguete llamado ΛΙΣΠ. En última instancia, el artículo revela una interacción fascinante y compleja entre Lisp y el cálculo lambda, dejando mucho por explorar en futuras entregas.