En d'autres termes, une fonction F : <x_1, ..., x_n> → y devient une fonction F_1 : x_1 → (<x_2, ..., x_n> → y), soit une fonction prenant un argument et renvoyant une fonction prenant n-1 arguments, etc...
Ca s'appelle la curryfication, et c'est aussi ce qui explique qu'une fonction prenant deux entiers et renvoyant un entier ait usuellement le type int → int → int au lieu de (int * int) → int.
Enfin bref, functional programming rulez da world, rien de nouveau sous le soleil :-)
# Curryfication
Posté par Zakath . En réponse au journal Un OS réécrit son code à la volée. Évalué à 10.
Ca s'appelle la curryfication, et c'est aussi ce qui explique qu'une fonction prenant deux entiers et renvoyant un entier ait usuellement le type int → int → int au lieu de (int * int) → int.
Enfin bref, functional programming rulez da world, rien de nouveau sous le soleil :-)