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 KAA18521; Tue, 7 Sep 2004 10:31:16 +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 KAA18663 for ; Tue, 7 Sep 2004 10:31:15 +0200 (MET DST) Received: from annexia.force9.co.uk (annexia.force9.co.uk [212.56.101.183]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id i878VEbM030690 for ; Tue, 7 Sep 2004 10:31:15 +0200 Received: from rich by annexia.force9.co.uk with local (Exim 3.36 #1 (Debian)) id 1C4bNi-0003lV-00 for ; Tue, 07 Sep 2004 09:31:14 +0100 Date: Tue, 7 Sep 2004 09:31:14 +0100 Cc: caml-list Subject: Re: [Caml-list] laziness Message-ID: <20040907083114.GA14461@annexia.org> References: <413879B6@webmail> <20040906005741.GA20406@annexia.org> <413CE639.5090103@albedo.net> Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="xHFwDpU9dbj6ez1V" Content-Disposition: inline In-Reply-To: <413CE639.5090103@albedo.net> User-Agent: Mutt/1.5.5.1+cvs20040105i From: Richard Jones X-Miltered: at nez-perce with ID 413D71D2.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 2004:99 0400,:01 schaffer:99 bug:01 bug:01 footprints:01 giants:99 ltd:98 sep:01 lazy:02 06,:02 laziness:02 laziness:02 wrote:03 X-Attachments: type="application/pgp-signature" name="signature.asc" Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk --xHFwDpU9dbj6ez1V Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Mon, Sep 06, 2004 at 06:35:37PM -0400, Hartmann Schaffer wrote: > Richard Jones wrote: >=20 > >... > > > >One thing that worries me about laziness. > > > >Doesn't laziness often indicate a bug in the code? ie. You've > >written an expression in the program, but that expression is never > >used. This is dead code, right? Hence a bug? > >=20 > > >=20 > well, programs supposedly run against quite a few different data sets,=20 > and depending on the particular data set, some code segments might never= =20 > be executed I was really talking about code that would never be executed under any inputs. The example was given of: let x =3D ... in let y =3D ... in x Under lazy evaluation, "y" is never evaluated, but it's still dead code. Rich. --=20 Richard Jones. http://www.annexia.org/ http://www.j-london.com/ Merjis Ltd. http://www.merjis.com/ - improving website return on investment If I have not seen as far as others, it is because I have been standing in the footprints of giants. -- from Usenet --xHFwDpU9dbj6ez1V Content-Type: application/pgp-signature; name="signature.asc" Content-Description: Digital signature Content-Disposition: inline -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.3 (GNU/Linux) iD8DBQFBPXHS4le1M6q9pzoRAk3eAKCxtk+LR/jFUsnUwdvbMR7FbgyHawCg55ye ASBeEMqh/+PE+Q7eCAdfspo= =oRJ3 -----END PGP SIGNATURE----- --xHFwDpU9dbj6ez1V-- ------------------- 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