Pas vraiment, la curryfication c'est juste l'isomorphisme A ×ばつ B → C ≅ A → B → C, et il n'y a pas de type fonctionnel impliqué ici. Ici ça serait plutôt genre l'associativité du produit ou un truc comme ça.
Fun fact: la curryification n'est pas valide en call-by-value avec effets (donc en particulier en OCaml). Il y a plus de monde dans A → B → C que dans A ×ばつ B → C. Exemple: fun (x : unit) -> (raise Exit : unit -> unit) ne peut pas être écrite comme une fonction de la forme fun (x, y) -> qqch.
[^] # Re: Module et type abstrait
Posté par Perthmâd . En réponse au journal Une petite histoire d'utilisation type fort dans Ocaml. Évalué à 4.
Pas vraiment, la curryfication c'est juste l'isomorphisme A ×ばつ B → C ≅ A → B → C, et il n'y a pas de type fonctionnel impliqué ici. Ici ça serait plutôt genre l'associativité du produit ou un truc comme ça.
Fun fact: la curryification n'est pas valide en call-by-value avec effets (donc en particulier en OCaml). Il y a plus de monde dans A → B → C que dans A ×ばつ B → C. Exemple:
fun (x : unit) -> (raise Exit : unit -> unit)ne peut pas être écrite comme une fonction de la formefun (x, y) -> qqch.