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
Undefined evaluation order
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2000-10-08 (21:09)
From: David.Mentre@i...
Subject: Re: Undefined evaluation order
Brian Rogoff <> 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

-- --
 Opinions expressed here are only mine.