Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Smoke Vector Graphics: source code licenses for sale
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-11-08 (20:24)
From: Alexandre Pilkiewicz <alexandre.pilkiewicz@p...>
Subject: Re: [Caml-list] Smoke Vector Graphics: source code licenses for sale
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