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

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Diego Olivier Fernandez Pons <Diego.FERNANDEZ_PONS@e...>
Subject: Re: [Caml-list] Re: Parameter evaluation order

> why should the evaluation order be specified: this is needed if you
> want to formally reason about programs ... as far as I know.

Could you elaborate more on this ?

I see the evaluation order in Caml more as a compiler optimization
problem that a semantic one. If I need a specific evaluation order, I
just sequencialize my program explicitelly.

        Diego Olivier