I wonder why optionnal argument are implemented through the option type instead 
of giving a defauklt value ?

Obviously the type should carry the default value which should be a closed 
constant (like None, 0, 0.0, [1;2;3], etc ...) but this would preserve the 
possibility of using optionnal arguments and unboxed int or float arguments
and it will save the None/Some test !


-- 
Christophe Raffalli
Université de Savoie
Batiment Le Chablais, bureau 21
73376 Le Bourget-du-Lac Cedex

tél: (33) 4 79 75 81 03
fax: (33) 4 79 75 87 42
mail: Christophe.Raffalli@univ-savoie.fr
www: http://www.lama.univ-savoie.fr/~RAFFALLI
---------------------------------------------
IMPORTANT: this mail is signed using PGP/MIME
At least Enigmail/Mozilla, mutt or evolution
can check this signature
---------------------------------------------