Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Programmation purement fonctionnelle
Résumé
En informatique, la programmation purement fonctionnelle est un paradigme de programmation qui considère toutes les opérations comme l'évaluation de fonctions mathématiques.
L'état et les objets immuables sont généralement modélisés à l'aide d'une logique temporelle, en tant que variables explicites représentant l'état du programme à chaque étape de son exécution : l'état d'une variable est transmis en tant que paramètre d'entrée d'une fonction de transformation d'état, qui renvoie l'état mis à jour en tant que partie de sa valeur de retour. Ce style gère les modifications d'état sans perdre la transparence référentielle des expressions du programme.
La programmation fonctionnelle pure consiste à s'assurer que les fonctions dans un paradigme fonctionnel, ne dépendent que de leurs arguments, indépendamment de tout état global ou local. Un sous-programme fonctionnel pur ne peut voir que les changements d'état des variables incluses dans sa portée.
La différence exacte entre la programmation fonctionnelle pure et impure est controversée. La définition proposée par Sabry de la pureté est que toutes les stratégies d'évaluation courantes (par nom, par valeur et par besoin) produisent le même résultat, en ignorant les stratégies qui génèrent des erreurs ou des divergences.
Un programme est généralement dit fonctionnel lorsqu'il utilise certains concepts de programmation fonctionnelle, tels que les fonctions de première classe et les fonctions d'ordre supérieur. Cependant, une fonction de première classe n'a pas besoin d'être purement fonctionnelle, car elle peut utiliser des techniques du paradigme impératif, telles que des tableaux ou des méthodes d'entrée/sortie qui utilisent des cellules mutables, qui mettent à jour leur état en tant qu'effets secondaires. En fait, les premiers langages de programmation cités comme étant fonctionnels, IPL et Lisp, sont tous deux des langages fonctionnels "impurs" selon la définition de Sabry.
Les structures de données purement fonctionnelles sont persistantes.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.