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 JAA32353 for caml-red; Sat, 7 Oct 2000 09:40:16 +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 VAA25542 for ; Fri, 6 Oct 2000 21:27:02 +0200 (MET DST) Received: from espresso (DHCP12-17.CIS.UPENN.EDU [158.130.13.77]) by concorde.inria.fr (8.10.0/8.10.0) with ESMTP id e96JR1b19658 for ; Fri, 6 Oct 2000 21:27:01 +0200 (MET DST) Received: from espresso ([127.0.0.1] helo=localhost ident=sumii) by espresso with esmtp (Exim 3.12 #1 (Debian)) id 13hd91-0006CM-00; Fri, 06 Oct 2000 15:26:59 -0400 To: caml-list@inria.fr cc: sumii@saul.cis.upenn.edu Reply-to: sumii@saul.cis.upenn.edu From: eijiro_sumii@anet.ne.jp Subject: Re: WWW Page of Team PLClub (Re: ICFP programming contest: results) In-Reply-To: <39dce277$1@tequila.cs.yale.edu> References: <001f01c02eb7$b41c99c0$210148bf@dylan> <39dce277$1@tequila.cs.yale.edu> X-Mailer: Mew version 1.94.1 on Emacs 20.7 / Mule 4.1 (AOI) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-Id: <20001006152659G.sumii@saul.cis.upenn.edu> Date: Fri, 06 Oct 2000 15:26:59 -0400 X-Dispatcher: imput version 991025(IM133) Sender: weis@pauillac.inria.fr > > Could you provide a reference to de Bruijin indexing? Xavier kindly gave a nice explanation.:) Thanks! > On a related note, how would that compare (performancewise) to an > approach like "abstract syntax" (represent a function not > as (, ) and neither as (as in the case of deBruijn) > but as fn x => ) ? As far as I know, to use that "higher-order abstract syntax" approach, we have to _translate_ a GML program into a Caml code and evaluate it at runtime. That is exactly what I did in the "compiling" version (PLClubCN) of our entry, but it didn't work well because the compilation itself (including ocamlopt.opt) took some time, which didn't pay. Eijiro