9
Specifications et Definitions de Fonctions
nSpecifications de Sequences
n                                                                (expression_1; expression_2; expression_3)
n
nDefinition de Fonctions
–
–fun nom_de_fonction (parametres) = expression;
–
–Exemple: fun addition(a:int, b:int):int = a+b;
–
–Note 1: int n ’a pas besoin d ’etre specifie partout
–Note2: Les fonctions peuvent etre polymorphiques et il y a possibilite de « pattern matching »