Brian Rogoff <bpr@best.com> writes:

>     It is well known that OCaml has undefined evaluation orders and that
> it uses right-to-left ordering. What is the rationale for that decision? 

It is linked to the way the bytecode is designed to optimize functions
evaluation. You'll find a detailed (and more accurate) explanation in
the following paper :

RT-0117 The ZINC experiment : an economical implementation of the ML
language - Xavier Leroy
 http://www.inria.fr/RRRT/RT-0117.html


d.
-- 
 David.Mentre@irisa.fr -- http://www.irisa.fr/prive/dmentre/
 Opinions expressed here are only mine.