Table des matières:
Définition - Que signifie Lambda Calculus?
Le calcul lambda est un type de système formel issu de la logique mathématique utilisé en informatique pour la définition, l'application et la récursion des fonctions.
La programmation informatique fonctionnelle est née de ce type de calcul et agit à son tour comme modèle de développement logiciel 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.
Techopedia explique Lambda Calculus
Le calcul lambda fait que les threads de code de langue 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.
