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 JAA04063 for caml-red; Fri, 6 Oct 2000 09:35:38 +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 AAA30433 for ; Fri, 6 Oct 2000 00:43:18 +0200 (MET DST) Received: from cepheus.azstarnet.com (cepheus.azstarnet.com [169.197.56.195]) by concorde.inria.fr (8.10.0/8.10.0) with ESMTP id e95MhGH18655 for ; Fri, 6 Oct 2000 00:43:16 +0200 (MET DST) Received: from dylan (dialup002ip151.tus.azstarnet.com [169.197.14.151]) by cepheus.azstarnet.com (8.9.3/8.9.3) with SMTP id PAA28057 for ; Thu, 5 Oct 2000 15:43:13 -0700 (MST) X-Sent-via: StarNet http://www.azstarnet.com/ Message-ID: <001001c02f1e$28ac78d0$210148bf@dylan> From: "David McClain" To: Subject: Re: WWW Page of Team PLClub (Re: ICFP programming contest: results) Date: Thu, 5 Oct 2000 15:46:52 -0700 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 4.72.3110.5 X-MimeOLE: Produced By Microsoft MimeOLE V4.72.3110.3 Sender: weis@pauillac.inria.fr I would think that you would get into trouble with a closure representation because there is no equality operation defined on them, and you would have to evaluate the closure to obtain the value representing the name... that sounds overly expensive in time and space. - DM -----Original Message----- From: Stefan Monnier Newsgroups: lists.caml To: caml-list@inria.fr Date: Thursday, October 05, 2000 1:35 PM Subject: Re: WWW Page of Team PLClub (Re: ICFP programming contest: results) >>>>>> "David" == David McClain writes: >> Could you provide a reference to de Bruijin indexing? I recall reading about > >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 => ) ? > > > Stefan >