curryfication

Une définition du Jargon Français.
Aller à : Navigation, rechercher

nom masculin.  [mathématique]. Transformation d'une fonction à n paramètres en la composition d'une fonction à n-1 paramètres et d'une fonction à un seul paramètre. C'est un des principes du lambda-calcul.