From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id XAA21160 for caml-red; Sun, 8 Oct 2000 23:07:48 +0200 (MET DST) 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 XAA16571 for ; Sun, 8 Oct 2000 23:06:53 +0200 (MET DST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.10.0/8.10.0) with ESMTP id e98L6pX22077; Sun, 8 Oct 2000 23:06:51 +0200 (MET DST) Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id XAA13126; Sun, 8 Oct 2000 23:06:51 +0200 (MET DST) From: Pierre Weis Message-Id: <200010082106.XAA13126@pauillac.inria.fr> Subject: Re: WWW Page of Team PLClub (Re: ICFP programming contest: results) In-Reply-To: <20001007122103K.sumii@saul.cis.upenn.edu> from "eijiro_sumii@anet.ne.jp" at "Oct 7, 100 12:21:03 pm" To: sumii@saul.cis.upenn.edu Date: Sun, 8 Oct 2000 23:06:51 +0200 (MET DST) Cc: caml-list@inria.fr X-Mailer: ELM [version 2.4ME+ PL28 (25)] MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Sender: weis@pauillac.inria.fr > > Not exactly, for efficiency: > > > > records = tuples = array without boundary checks > > Excuse me, but I'm a bit confused here... What did Xavier mean in the > message below then? > > | Subject: Re: ICFP programming contest: results > | From: Xavier Leroy > | Date: Tue, 26 Sep 2000 10:55:21 +0200 > | > | > Could you also tell us to what extent the knowledge of the > | > implementation of Ocaml was needed in order to get good performance ? > | > | The only important thing to know was that a record with three float > | fields is more efficient than a triple of floats. Oups, sorry. There is a special treatment in the compiler for float arrays and float records but no one for float tuples. So for the special case of floats, array and record are more efficient than tuples. For all other types there is no difference in efficiency. Pierre Weis INRIA, Projet Cristal, Pierre.Weis@inria.fr, http://cristal.inria.fr/~weis/