Version française
Home     About     Download     Resources     Contact us    
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: -- (:)
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