Présentation d'Objective-Caml
Date de publication : 01/11/2006 , Date de mise à jour : 13/07/2007
III. Vous avez bien dit "langage fonctionnel" ?
III-1. Principe des langages fonctionnels purs
III-2. Programmation fonctionnelle
III. Vous avez bien dit "langage fonctionnel" ?
III-1. Principe des langages fonctionnels purs
La programmation fonctionnelle est un paradigme de programmation qui conçoit l'exécution d'un programme comme l'évaluation de fonctions mathématiques,
basée sur la théorie du lambda-calcul, et évite l'usage de données modifiables, en opposition avec la programmation impérative couramment utilisée.
Parmi les notions importantes introduites par ce paradigme, on doit citer les fonctions d'ordre supérieur, l'évaluation partielle, et la récursivité.
Une particularité de la programmation fonctionnelle est de pouvoir se passer d'effets de bord.
-
Les fonctions sont dites d'ordre supérieur lorsque qu'elles peuvent être passées en argument à d'autres fonctions, et renvoyées comme résultat
de l'exécution d'une fonction ;
-
Une fonction est partiellement évaluée lorsqu'elle peut s'appliquer à ces premiers arguments, et renvoyer une fonction prenant en arguments
les arguments suivants de la fonction initiale, effectuant la tâche initialement prévue par celle-ci, mais en considérant que les arguments qu'elles a
reçus en paramètres lors de sa création sont désormais constants ;
-
Une fonction récursive est une fonction ayant la possibilité de se rappeler elle-même.
III-2. Programmation fonctionnelle
Copyright (c) 2006-2007 Antonio Pasinelli, Nicolas Vallée.
Permission is granted to copy and distribute under the terms of the Creative Commons licence, Version 3.0 or any later version published by the Creative Commons Corporation; with Attribution, No Commercial Use and No Derivs. Read the full license here : http://creativecommons.org/licenses/by-nc-nd/3.0/legalcode
