From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 99786D55E for ; Wed, 27 Jul 2005 18:09:58 +0200 (CEST) Received: from smtp1.adl2.internode.on.net (smtp1.adl2.internode.on.net [203.16.214.181]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j6RG9uBX030809 for ; Wed, 27 Jul 2005 18:09:57 +0200 Received: from rosella (ppp6-113.lns1.syd3.internode.on.net [59.167.6.113]) by smtp1.adl2.internode.on.net (8.12.9/8.12.9) with ESMTP id j6RG9njm026219; Thu, 28 Jul 2005 01:39:51 +0930 (CST) Subject: Re: [Caml-list] How to do this properly with OCaml? From: skaller To: Jon Harrop Cc: caml-list@yquem.inria.fr In-Reply-To: <200507260205.45941.jon@ffconsultancy.com> References: <200507241623.13705.Stephane.Glondu@crans.org> <1122251570.9027.362.camel@localhost.localdomain> <200507260205.45941.jon@ffconsultancy.com> Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="=-0DjuyzATwYosVOTwk8DY" Date: Thu, 28 Jul 2005 02:09:49 +1000 Message-Id: <1122480589.6768.71.camel@localhost.localdomain> Mime-Version: 1.0 X-Mailer: Evolution 2.2.1.1 X-Miltered: at nez-perce with ID 42E7B1D4.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 ocaml:01 ocaml:01 wrote:01 sourceforge:01 sourceforge:01 arbitrary:01 seems:03 problem:05 problem:05 anyway:05 tue:06 fool:06 programmer:06 john:08 X-Attachments: type="application/pgp-signature" name="signature.asc" X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 --=-0DjuyzATwYosVOTwk8DY Content-Type: text/plain Content-Transfer-Encoding: quoted-printable On Tue, 2005-07-26 at 02:05 +0100, Jon Harrop wrote: > How can that be a problem given that you (basically) cannot guarantee=20 > collection anyway? This is an important point because it is hard to answer properly. I would say "I basically trust the Ocaml=20 system to do a good job if it is allowed to". The problem with an arbitrary dummy value being kept around just to fool the Ocaml type system is that it seems to me it may interfere with the requirement that it "be allowed to" do a good job. The problem in a varray implementation using this technique is that it is hidden from the client=20 programmer. --=20 John Skaller --=-0DjuyzATwYosVOTwk8DY Content-Type: application/pgp-signature; name=signature.asc Content-Description: This is a digitally signed message part -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.5 (GNU/Linux) iD8DBQBC57HMsRp8/9aGVGsRAhl3AJ9WCdeRQZaM1g8Q4D6AQLYPyQnaSgCfb5Bx ijPAt12fvR+npqyegcWBQ0M= =E79E -----END PGP SIGNATURE----- --=-0DjuyzATwYosVOTwk8DY--