J'aurais appelé cela de l'évaluation partielle. Une application directe du théorème s-n-m*. Une des 3 caractéristiques des systèmes acceptables de programmation. (les 2 autres caractéristiques étant la Turing-complétude et l'existence d'une fonction universelle).
Bref, ça n'a rien de propre aux langages fonctionnels...
*: fr.wikipedia connait ce théorème sous le nom de "théorème d'itération" de Kleene.
[^] # Re: Curryfication
Posté par 태 (site web personnel) . En réponse au journal Un OS réécrit son code à la volée. Évalué à 3.
Bref, ça n'a rien de propre aux langages fonctionnels...
*: fr.wikipedia connait ce théorème sous le nom de "théorème d'itération" de Kleene.