English version
Accueil     Ŕ propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis ŕ jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml ŕ l'adresse ocaml.org.

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: 2005-08-26 (12:26)
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