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 MAA21187 for caml-red; Sat, 7 Oct 2000 12:30:11 +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 LAA07784 for ; Sat, 7 Oct 2000 11:56:00 +0200 (MET DST) Received: from miss.wu-wien.ac.at (miss.wu-wien.ac.at [137.208.107.17]) by concorde.inria.fr (8.10.0/8.10.0) with ESMTP id e979txT03388; Sat, 7 Oct 2000 11:55:59 +0200 (MET DST) Received: (from mottl@localhost) by miss.wu-wien.ac.at (8.9.0/8.9.0) id LAA30758; Sat, 7 Oct 2000 11:55:54 +0200 (MET DST) Date: Sat, 7 Oct 2000 11:55:53 +0200 From: Markus Mottl To: Pierre Weis Cc: caml-list@inria.fr Subject: Re: WWW Page of Team PLClub (Re: ICFP programming contest: results) Message-ID: <20001007115553.A24398@miss.wu-wien.ac.at> References: <20001006100731.12927@pauillac.inria.fr> <200010070835.KAA28303@pauillac.inria.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5i In-Reply-To: <200010070835.KAA28303@pauillac.inria.fr>; from Pierre.Weis@inria.fr on Sat, Oct 07, 2000 at 10:35:21 +0200 Sender: weis@pauillac.inria.fr On Sat, 07 Oct 2000, Pierre Weis wrote: > Also consider that the Caml Light compiler does not optimize and > symbolycally manipulate programs: that's devoted to the next ``tour de > force'', the Objective Caml optimizing compiler, which does not use > the De Bruijn indices notation for lambda terms... This sounds interesting! - May I ask what optimisations are considered? Will there be documentation for the (new) intermediate representation on which optimisations operate? It would be really important to have information about side effects there, too. I could imagine playing around with such representations in LambdaProlog (extremely convenient for prototyping transformation systems). I don't know whether anything useful will come out, but it may be fun - for others as well. Best regards, Markus Mottl -- Markus Mottl, mottl@miss.wu-wien.ac.at, http://miss.wu-wien.ac.at/~mottl