LAMBDA-CALCUL

Ce sujet est traité dans les articles suivants :

1.  PROGRAMMATION

Écrit par : Jean-François MONIN

Dans le chapitre "Programmation fonctionnelle"  : … prend sa source dans un modèle de calcul différent de celui des machines de Turing, dû à Church : *le lambda-calcul. Les machines de Turing exposent une vue très opérationnelle du calcul donnée par des transitions entre états. En lambda-calcul pur, on ne manipule que des fonctions, avec pour seul mécanisme de calcul l'évaluation d'expressions… Lire la suite