Fonctions arguments de fonctions.

Le calcul des variations.

En lambda-calcul pur, toutes les fonctions attendent pour argument une fonction. En fait, en lambda-calcul pur, tout le monde est une fonction (un lambda-terme).

Pour te donner une idée de l'esprit :

- En théorie des ensembles, on se propose de coder les mathématiques en disant "les objets mathématiques que l'on utilise sont fondamentalements des ensembles". Par exemple, le nombre entier 2 est défini comme étant un ensemble particulier.

- En lambda-calcul pur, on se propose de coder les mathématiques en disant "les objets mathématiques que l'on utilise sont fondamentalement des fonctions (des lambda-termes)". Par exemple, le nombre entier 2 est défini comme un lambda-terme (une fonction) particulier.