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 KAA18055; Tue, 7 Sep 2004 10:38:09 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id KAA19031 for ; Tue, 7 Sep 2004 10:38:08 +0200 (MET DST) Received: from smtp.cegetel.net (mf00.sitadelle.com [212.94.174.77]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id i878c7gs031755 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=FAIL) for ; Tue, 7 Sep 2004 10:38:08 +0200 Received: from warp (unknown [80.125.123.6]) by smtp.cegetel.net (Postfix) with SMTP id 734186713A; Tue, 7 Sep 2004 10:38:07 +0200 (CEST) Message-ID: <001801c494b5$e25a59e0$ef01a8c0@warp> From: "Nicolas Cannasse" To: "Richard Jones" Cc: "caml-list" References: <413879B6@webmail> <20040906005741.GA20406@annexia.org> <413CE639.5090103@albedo.net> <20040907083114.GA14461@annexia.org> Subject: Re: [Caml-list] laziness Date: Tue, 7 Sep 2004 10:37:17 +0200 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 6.00.2800.1437 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1441 X-Miltered: at nez-perce with ID 413D736F.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; cannasse:01 warplayer:01 caml-list:01 impure:01 cannasse:01 ocaml:01 nicolas:01 nicolas:01 lazy:02 laziness:02 let:04 let:04 functional:06 language:10 can't:15 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > The example was given of: > > let x = ... in let y = ... in x > > Under lazy evaluation, "y" is never evaluated, but it's still dead code. let x = f() in might trigger some mutations or IO, it can't be safely considered dead code in an impure functional language such as OCaml. Nicolas Cannasse ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners