Fonctions à plusieurs arguments
Soit E l'environnement courant, a-t-on deux choix ?
-
let foo = function (x,y) -> E(x,y)
L'expression n'a qu'un seul argument qui est le couple (x,y) et foo a pour type sx*sy ® s E
Sa valeur est une fermeture
F1=«x,y:-> E(x,y),E»
-
let foo =
function x -> function y -> E(x,y)
L'expression est une fonction curryfiée et foo a pour type
sx®sy ® s E.
Sa valeur est une fermeture
F2=«x:-> Ex,E»
où Ex est l'expression
function y -> E(x,y).