Définition - Que signifie Lambda Calculus?
Le calcul lambda est un type de système formel de logique mathématique utilisé en informatique pour la définition, l'application et la récursivité des fonctions.
La programmation informatique fonctionnelle est née de ce type de calcul et agit à son tour comme un modèle pour le développement de logiciels en fournissant une sémantique simple pour le calcul avec des fonctions. Contrairement aux fonctions impératives, qui peuvent changer l'état du programme car elles n'ont pas de transparence référentielle, la programmation fonctionnelle ne change pas l'état du programme.
Definir Tech explique Lambda Calculus
Le calcul Lambda fait que les threads de code de langage donnent exactement les mêmes valeurs, quelle que soit l'heure ou la machine sur laquelle le thread de code a été exécuté. Ce n'est pas le cas avec la programmation de fonction impérative, qui a généralement des réponses de programme imprévisibles.
La programmation fonctionnelle peut être réalisée dans n'importe quel langage de programmation, même ceux qui n'ont pas été conçus avec des structures de programmation fonctionnelle par défaut.