Fonction anonyme

Les fonctions anonymes sont des fonctions n'ayant pas de nom.

Parce que ces fonctions n'ont pas de nom, à l'endroit où l'on voudrait mettre leur nom, on trouve directement les instructions définissant la fonction introduites par une syntaxe particulière.

Dans les langages de programmation fonctionnelle, les fonctions anonymes sont souvent appelées fonctions lambda, en référence au lambda-calcul, outil théorique dans lequel on programme tout sous forme d'appel de fonction, alors même qu'aucune fonction de base n'est définie.

Exemples

En OCaml, la fonction suivante renvoie le carré de la somme de de ses arguments x et y:

let carre_de_somme a b = (lambda x -> x * x) (a + b) ;;

La fonction anonyme (lambda x -> x * x) calcul le carré de son argument. On peut rendre la chose explicite en nommant la fonction de la facon suivante:

let carre x = x * x ;;
let carre_de_somme a b = carre (a + b) ;;