Lisp e Cálculo Lambda: Uma história de teoria e prática
Este artigo explora a relação entre Lisp e o cálculo lambda. John McCarthy, o criador do Lisp, não compreendia totalmente o cálculo lambda inicialmente, mas tomou emprestado sua notação para criar o Lisp. Lisp não é uma implementação direta do cálculo lambda, mas sim inspirado por ele, incorporando recursos do hardware IBM 704. O artigo mergulha na história inicial do Lisp, incluindo a implementação de seu avaliador EVAL e a conexão entre as operações car/cdr e o IBM 704. Conceitos fundamentais do cálculo lambda são introduzidos, ilustrados com uma linguagem de brinquedo chamada ΛΙΣΠ. Em última análise, o artigo revela uma interação fascinante e complexa entre Lisp e o cálculo lambda, deixando muito a explorar em futuras edições.
Leia mais