Lisp et calcul lambda : une histoire de théorie et de pratique
Cet article explore la relation entre Lisp et le calcul lambda. John McCarthy, le créateur de Lisp, ne comprenait pas entièrement le calcul lambda au départ, mais il a emprunté sa notation pour créer Lisp. Lisp n’est pas une implémentation directe du calcul lambda, mais plutôt une source d’inspiration, intégrant des caractéristiques du matériel IBM 704. L’article explore l’histoire initiale de Lisp, y compris l’implémentation de son évaluateur EVAL et le lien entre les opérations car/cdr et l’IBM 704. Les concepts fondamentaux du calcul lambda sont introduits, illustrés à l’aide d’un langage jouet appelé ΛΙΣΠ. En fin de compte, l’article révèle une interaction fascinante et complexe entre Lisp et le calcul lambda, laissant beaucoup à explorer dans les prochains volets.
Lire plus