Re: [Caml-list] Smoke Vector Graphics: source code licenses for sale

[Alexandre Pilkiewicz <alexandre.pilkiewicz@polytechnique.org>]

Le Thursday 08 November 2007 20:09:03 Luc Maranget, vous avez écrit :
> > And so many things are just unspecified. I know it's a bad idea, whatever
> > language you use, to rely on the order of evaluation of the argument of a
> > function, but to say "this order may change one day" is to tell
> > industrialists : "if you have some "not so good" programmers, even if you
> > make all the test you want on your program to check it works, one day it
> > may just stop working because we changed the order or evaluation, or
> > worst, a lot of silent bugs can appear".
>
> I cannot resist to remind you that the order of argument evaluation is
> unspecified in C.
>
> Arguably a bad design, but not sufficient to frighten industry.
>
>
> -- Luc


My mistake. This was definitely a bad example. I never realized that the same 
problem existed in other languages, probably because we use so much more 
function evaluations in OCaml (and also probably because I program almost 
only in OCaml :-) ). Sorry for the noise :-\

Do you think it may be possible one day for OCaml to have a normalisation, 
like Haskell had in 1998, and if it's allready the case, where can I find 
it ?


-- 
Alexandre Pilkiewicz