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
[Caml-list] Generation of streams is slow
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2001-07-14 (19:52)
From: Alexander V. Voinov <avv@q...>
Subject: Re: [Caml-list] Generation of streams is slow
Hi Daniel,

Daniel de Rauglaudre wrote:
> Here, the order of evaluation is a-b-c-d-e or e-d-c-b-a, I don't know,
> but in some logical order. If the tail recursion is, say, on the third
> parameter c, it supposes that a, b, d and e be evaluated before. And
> what policy use if, say, d is another tail recursion?

I probably need to reread the docs, but as I remember it was stressed
that the presence of imperative features, eps. mutable values, doesn't
allow for much indeterminism in the evaluation order. Because it legally
matters what was the order of evaluation of a-b-c-d-e if some of them
change global values, which are used in the others.

Alexander
-------------------
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