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 EAA23613; Sun, 10 Jun 2001 04:22:55 +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 EAA23626 for ; Sun, 10 Jun 2001 04:22:53 +0200 (MET DST) Received: from tisch.mail.mindspring.net (tisch.mail.mindspring.net [207.69.200.157]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f5A2Mqn19057 for ; Sun, 10 Jun 2001 04:22:52 +0200 (MET DST) Received: from dylan (1Cust201.tnt3.tucson.az.da.uu.net [63.11.144.201]) by tisch.mail.mindspring.net (8.9.3/8.8.5) with SMTP id WAA23130 for ; Sat, 9 Jun 2001 22:22:47 -0400 (EDT) Message-ID: <000e01c0f154$8e803e50$210148bf@dylan> From: "David McClain" To: References: <200106100104.VAA32072@sarg.Ryerson.CA> Subject: Re: [Caml-list] Evaluation Order Date: Sat, 9 Jun 2001 19:25:01 -0700 MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 5.00.2919.6600 X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2919.6600 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > The idea is to annotate the type of any functional result with the > fact that it has escaping side-effects. Then to not let any > so-annotated value be used directly in an expression. Let's look at > David's problem: I had just thought of a similar solution myself, but I wouldn't be so strict as to disallow any use in an expression. Rather, as long as only one such function call exists in any one expression it would be okay. That would allow things like let ans = prev_ans + process_tail() in .... It does sound like an easy solution, so knowing myself as I do, I am wondering what I don't understand about the details... If it were so easy, then why hasn't it been done yet? - DM ------------------- 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