Version française
Home     About     Download     Resources     Contact us    
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: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr