From ... Path: archiver1.google.com!news1.google.com!sn-xit-02!supernews.com!news.tele.dk!small.news.tele.dk!193.190.198.17!newsfeeds.belnet.be!news.belnet.be!news.worldonline.be!nmaster.kpnqwest.net!nreader1.kpnqwest.net.POSTED!not-for-mail Newsgroups: comp.lang.lisp Subject: Re: Tail recursion & CL References: <87iteghyva.fsf@pps.jussieu.fr> <87eloz8417.fsf@pps.jussieu.fr> <87r8syosjs.fsf@pps.jussieu.fr> <3210249273790367@naggum.net> <87pu89sgwr.fsf@pps.jussieu.fr> <871ykonwo8.fsf@Samaris.tunes.org> <87bsjsp2zh.fsf@photino.sid.rice.edu> <874rpjq3l1.fsf@photino.sid.rice.edu> <3210968437468418@naggum.net> <3211000707208480@naggum.net> <3211018454924999@naggum.net> <87n133fqda.fsf@pps.jussieu.fr> Mail-Copies-To: never From: Erik Naggum Message-ID: <3211576792209248@naggum.net> Organization: Naggum Software, Oslo, Norway Lines: 30 User-Agent: Gnus/5.0808 (Gnus v5.8.8) Emacs/20.7 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Date: Tue, 09 Oct 2001 00:39:55 GMT X-Complaints-To: newsmaster@Norway.EU.net X-Trace: nreader1.kpnqwest.net 1002587995 193.71.66.49 (Tue, 09 Oct 2001 02:39:55 MET DST) NNTP-Posting-Date: Tue, 09 Oct 2001 02:39:55 MET DST Xref: archiver1.google.com comp.lang.lisp:17527 * Juliusz Chroboczek | I, on the other hand, want to use CL (which I happen to find more | comfortable than Scheme) and still require that tail-call elimination | should be performed in some circumstances. But you are not satisfied with it being done when you ask for it. You seem to think that if it is required in the standard, you will also be "guaranteed" to actually get it from your vendors, but it is the other way around. There are still lots of things that the standard mandates that people are not implementing exactly the same way. Like directory, which we saw just recently. However, instead of arguing for how it should be implemented and finding ways to get this, people get agitated to the point of looking like they are _betrayed_ because the standard is not sufficiently clear, as if it owed them that. I find this very odd, but it _is_ also something that happens again and again in this forum. | With recursion (possibly indirect), tail-call elimination will, under the | right circumstances, convert unbounded space usage into constant space. | With some programming techniques, this means turning a guaranteed crash | into a reliable program. If so, why is it not sufficiently to actually get what you want? Why do you have to have a "guarantee" to get it via the standard? Do you think you will pay less for it if people "had" to do it than if you ask for it? /// -- My hero, George W. Bush, has taught me how to deal with people. "Make no mistake", he has said about 2500 times in the past three weeks, and those who make mistakes now feel his infinite wrath, or was that enduring care?