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
[Caml-list] Evaluation Order
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Charles Martin <charles@c...>
Subject: Re: [Caml-list] Evaluation Order

>The results of these two operations, integers, are arithmetically commutable
>under addition. But what isn't commutable is the order in which these
>operations occur....
>What is needed is some specification that indicates temporal preference, and
>then the type checking mechanism must be enhanced to keep temporal order.
>Most programs in OCaml probably have no preference, and in fact, a sense of
>order is strongly discouraged in most FPL's -- e.g., Haskell.

The specification that indicates temporal preference is

        let <first> in let <second> in ...

Argument evaluation order and temporal preference are two orthogonal concepts and should not be conflated.  I support unspecified argument evaluation order.

Bug reports:  FAQ:
To unsubscribe, mail  Archives: