LAMBDA-CALCUL

PROGRAMMATION

  • Écrit par 
  • Jean-François MONIN
  •  • 7 832 mots

Dans le chapitre « Programmation fonctionnelle »  : […] La première approche 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 fonctionnelles, c'est-à-dire la su […] Lire la suite☛ http://www.universalis.fr/encyclopedie/programmation/#i_48973