From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id VAA31707; Sat, 14 Jul 2001 21:52:38 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id VAA31721 for ; Sat, 14 Jul 2001 21:52:37 +0200 (MET DST) Received: from str12.sobor.org (adsl-63-198-183-99.dsl.snfc21.pacbell.net [63.198.183.99]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f6EJqaf18329; Sat, 14 Jul 2001 21:52:36 +0200 (MET DST) Received: from quasar.ipa.nw.ru (anza.sobor.org [192.168.123.51]) by str12.sobor.org (Postfix) with ESMTP id D5579AC8AA; Sat, 14 Jul 2001 12:39:20 -0700 (PDT) Message-ID: <3B50A2C5.EE528365@quasar.ipa.nw.ru> Date: Sat, 14 Jul 2001 12:51:33 -0700 From: "Alexander V. Voinov" Organization: Fear of the Lord is the beginning of wisdom X-Mailer: Mozilla 4.75 [en] (Windows NT 5.0; U) X-Accept-Language: en MIME-Version: 1.0 To: Daniel de Rauglaudre Cc: "caml-list@inria.fr" Subject: Re: [Caml-list] Generation of streams is slow References: <3B4F70D7.82E58A91@quasar.ipa.nw.ru> <20010714042701.A24266@verdot.inria.fr> <3B4FB39D.10D1F6D5@quasar.ipa.nw.ru> <20010714060417.A25766@verdot.inria.fr> <3B4FC748.F9E14008@quasar.ipa.nw.ru> <3B4FCD2B.FC68C181@quasar.ipa.nw.ru> <20010714103426.B26003@verdot.inria.fr> <3B508A89.82717B26@quasar.ipa.nw.ru> <20010714210228.B2256@verdot.inria.fr> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 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