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