From ... Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.stueberl.de!news.netway.at!nmaster.kpnqwest.net!nnum.kpnqwest.net!EU.net!nreader2.kpnqwest.net.POSTED!not-for-mail Newsgroups: comp.lang.lisp Subject: Re: Lisp without GC? References: <87adpoh9xr.fsf@blitz.comp.com> Mail-Copies-To: never From: Erik Naggum Message-ID: <3234020268100648@naggum.net> Organization: Naggum Software, Oslo, Norway Lines: 25 User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Date: Tue, 25 Jun 2002 18:57:48 GMT X-Complaints-To: newsmaster@KPNQwest.no X-Trace: nreader2.kpnqwest.net 1025031468 193.71.199.50 (Tue, 25 Jun 2002 20:57:48 MET DST) NNTP-Posting-Date: Tue, 25 Jun 2002 20:57:48 MET DST Xref: archiver1.google.com comp.lang.lisp:35717 * Hannah Schroeter | Not a Lisp, but might be interesting to consider in a "oh, such a thing | exists, perhaps we could get ideas from it" way (or to use it albeit it isn't | Lisp, of course), is the ML Kit (http://www.it-c.dk/research/mlkit/). | | It nowadays has a GC again, but version 3 IIRC relied only on compile time | region inference. I think I may want some form of defaulting to dynamic-extent so that it does exactly this, but the compiler will need to compute and propagate information about the usage of incoming arguments in a function so that a caller can know that no component of an argument was stored away elswhere. This is fairly easy to prove for the whole function, but the meta-information required about a function can easily lead to networks of information that lead to massive recompilation upon simple changes, something we generally do not want, even in fully incrementally compiled systems. Perhaps with lazy compilation like you can do with some virtual-machine based systems, this would not be so bad, but it is an "interesting" problem. Still, it would be very cool to use the stack and its cheap de/allocation rather than the garbage collector for the temporary data that only trigges garbage collection too often. -- Guide to non-spammers: If you want to send me a business proposal, please be specific and do not put "business proposal" in the Subject header. If it is urgent, do not use the word "urgent". If you need an immediate answer, give me a reason, do not shout "for your immediate attention". Thank you.