nComme en Scheme, les
fonctions peuvent etre passees comme arguments:
nExemple:
n - fun
fait_x(x:int --> int, y:int)= x(y);
n val fait_x
= fn : (int --> int) * int --> int
n - fun
double(x)= 2*x;
n val double
= fn : int --> int
n -
fait_x(double,4);
n val it = 8
: int
n