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 MAA08958; Mon, 27 Aug 2001 12:53:09 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 MAA09380 for ; Mon, 27 Aug 2001 12:53:08 +0200 (MET DST) Received: from mail.cs.uu.nl (sunset.cs.uu.nl [131.211.80.32]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f7RAr7P26253 for ; Mon, 27 Aug 2001 12:53:07 +0200 (MET DST) Received: from silvester.cs.uu.nl (silvester.cs.uu.nl [131.211.80.119]) by mail.cs.uu.nl (Postfix) with SMTP id F01084539; Mon, 27 Aug 2001 12:53:06 +0200 (MET DST) Received: by silvester.cs.uu.nl (sSMTP sendmail emulation); Mon, 27 Aug 2001 12:53:06 +0200 Date: Mon, 27 Aug 2001 12:53:06 +0200 From: Frank Atanassow To: Gerd Stolpmann Cc: Al Christians , caml-list@inria.fr Subject: Re: [Caml-list] Queens examples Message-ID: <20010827125306.A5903@cs.uu.nl> References: <3B88A467.D16DD57D@easystreet.com> <0108261423530A.02716@ice> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5i In-Reply-To: <0108261423530A.02716@ice>; from info@gerd-stolpmann.de on Sun, Aug 26, 2001 at 01:33:40PM +0200 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Gerd Stolpmann wrote (on 26-08-01 13:33 +0200): > The point is that the recursive call (concmap f t) occurs within an > expression, and the current execution environment must be saved on the stack > before the self-invocation such that it is still available when the > containing expression (f h (concmap f t)) is being evaluated. This is what > all programming languages do when recursive definitions are executed. First, stack allocation of activation frames is more usually a property of a programming language implementation, than of the programming language itself. Second, the last statement is false. For example, SML/NJ, Stackless Python and undoubtedly some implementations of Scheme all allocate activation frames on the heap (in order to support first-class continuations efficiently). -- Frank Atanassow, Information & Computing Sciences, Utrecht University Padualaan 14, PO Box 80.089, 3508 TB Utrecht, Netherlands Tel +31 (030) 253-3261 Fax +31 (030) 251-379 ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr