From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA21932; Tue, 28 Oct 2003 16:17:02 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id QAA21865 for ; Tue, 28 Oct 2003 16:17:01 +0100 (MET) Received: from is.intellij.net (host98.intellij.net [213.182.181.98]) by nez-perce.inria.fr (8.11.1/8.11.1) with SMTP id h9SFGw123230 for ; Tue, 28 Oct 2003 16:17:00 +0100 (MET) Received: (qmail 24522 invoked by uid 89); 28 Oct 2003 15:16:57 -0000 Received: from unknown (HELO dsl-ps.labs.intellij.net) (192.168.1.43) by host98.intellij.net with SMTP; 28 Oct 2003 15:16:57 -0000 From: Dmitry Lomov Reply-To: dsl@intellij.com Organization: IntelliJ Labs To: Subject: Re: [Caml-list] partial eval question Date: Tue, 28 Oct 2003 19:09:45 +0400 User-Agent: KMail/1.5 References: <004a01c39c2b$819db8f0$1fcf2952@Archimedes> <20031027081453.37b9f6ee.Damien.Pous@ens-lyon.fr> In-Reply-To: <20031027081453.37b9f6ee.Damien.Pous@ens-lyon.fr> MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200310281809.45944.Dmitry.Lomov@intellij.com> X-Loop: caml-list@inria.fr X-Spam: no; 0.00; lomov:01 lomov:01 intellij:01 caml-list:01 damien:01 closures:01 multi-stage:01 metaocaml:01 metaocaml:01 metaml:01 metaml:01 tercom:01 intellij:01 jetbrains:01 ocaml:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Monday 27 October 2003 10:14, Damien wrote: > On Mon, 27 Oct 2003 01:41:49 -0000 Ben Kavanagh wrote: > > Say I have a function such as pow defined as > > > > let pow n x = > > [skip] > > > > let pow2 = pow 2 > > > > Are there any ML implementations that would automatically perform > > partial evaluation to create pow2 instead of using closures, possibly > > unfolding the pow_iter call? Would Caml ever have this capability? > > Multi-Stage Programming is your friend... > > > There are two ML implementations : > Ocaml : MetaOCaml > SML : MetaML May I also humbly draw your attention to Dynamic Caml: http://oops.tercom.ru/dml :) Friendly, Dmitry -- Dmitry Lomov IntelliJ Labs / JetBrains Inc. http://www.intellij.com "Develop with pleasure!" ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners