From ... Path: archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!skynet.be!skynet.be!news.csl-gmbh.net!newsfeed01.sul.t-online.de!t-online.de!newsrouter.chello.at!newsfeed.Austria.EU.net!newsfeed.kpnqwest.at!nslave.kpnqwest.net!nloc2.kpnqwest.net!nmaster.kpnqwest.net!reader3.kpnqwest.net.POSTED!not-for-mail Newsgroups: comp.lang.lisp Subject: Re: Tail recursion & CL References: <87iteghyva.fsf@pps.jussieu.fr> <87sndfdx9h.fsf@pps.jussieu.fr> Mail-Copies-To: never From: Erik Naggum Message-ID: <3210171725190873@naggum.net> Organization: Naggum Software, Oslo, Norway Lines: 22 User-Agent: Gnus/5.0808 (Gnus v5.8.8) Emacs/20.7 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Date: Sat, 22 Sep 2001 18:22:06 GMT X-Complaints-To: newsmaster@Norway.EU.net X-Trace: reader3.kpnqwest.net 1001182926 193.71.66.49 (Sat, 22 Sep 2001 20:22:06 MET DST) NNTP-Posting-Date: Sat, 22 Sep 2001 20:22:06 MET DST Xref: archiver1.google.com comp.lang.lisp:16784 * Juliusz Chroboczek > Obviously, you're thinking in terms of (i), while I'm thinking in > terms of (ii). (Exercice for the reader: specify a class of > properties FOO such that (i) and (ii) coincide.) It seems to me that arguing about the flaws of limited memory is pointless when you accept limited execution time. These two may well coincide if the system halts execution when it runs out of memory, as when it invokes the debugger on the out-of-memory condition. If there is no upper bound on the consumption of resources of a program, it is ipso facto _broken_, and no silly quibbling over which resource is exhausted _first_ can possibly change any semantics of said program. It is _typical_ that this has to come up in relation to a Scheme concept. /// -- Why did that stupid George W. Bush turn to Christian fundamentalism to fight Islamic fundamentalism? Why use terms like "crusade", which only invokes fear of a repetition of that disgraceful period of Christianity with its _sustained_ terrorist attacks on Islam? He is _such_ an idiot.