Metadata
Author: QED
Data
English[en]
So the, the, the definition up here would also be equivalent to the definition that you see down here, where the last parameter list is, the parameter list of anonymous function that maps to E. Now, if you repeat that process n times, then our original n parameter list function is mapped to a function that has no parameter list at all, but on the right hand side we have n nested anonymous functions. This style of definition in function application where essentially every function is mapped to an expression that consists of anonymous functions, nested anonymous functions, that each take one parameter, is called currying. It's named after its promoter, Haskell
French[fr]
La definition ici serait equivalente a la definition que vous voyez ici, ou la derniere liste de parametres est la liste de parametres d'une fonction anonyme qui mappe vers E. Maintenant, si vous repetez que ce processus n fois, alors notre liste originale de n parametres est mappee a une fonction qui n'a aucune liste de parametre, mais sur la partie droite nous avons n fonctions imbriquees. Ce style de definition en application de fonction ou essentiellement chaque fonction est mappee a une expression qui se compose de fonctions anonymes, de fonctions anonymes imbriquees, qui prennent chacune un parametre, est appele curryfication. Il est nomme d'apres son promoteur, Haskell