Subject: Re: Tail recursion & CL
From: Erik Naggum <erik@naggum.net>
Date: Mon, 08 Oct 2001 15:12:34 GMT
Newsgroups: comp.lang.lisp
Message-ID: <3211542753013083@naggum.net>

* Juliusz Chroboczek
| With all due respect, Kent, you overuse this argument.  Pushing it to
| its logical extreme, we have no use for a carefully drafted Common
| Lisp definition, because the market will choose right anyhow.

  Since the argument _only_ makes sense within the framework of a standard,
  I fail to see how "logical" it could possibly be to drop the context and
  still believe you have the same argument.  

| Alas, the said definition does not include guarantees about tail-call
| elimination are not included in that definition; I would like to see such
| guarantees included in a future version.

  You will not see such guarantees in any future version.  If you want
  this, there is Scheme.  So much of the rest of what you argue for are
  signs of a Scheme freak that I also fail to see why you do not just work
  happily within the Scheme community instead of unhappily in the Common
  Lisp community?  What does it do for you to whine about tail-calls and
  never get it?

| (Another thing I would like to see are stronger guarantees about what
| conditions are signalled in exceptional situations; again, I do not have
| problems with my vendor here, as I can always test my implementation's
| behaviour, but with the standard itself.)

  What do these stronger guarantees actually entail?  Is it the ability to
  sue vendors if they decide to claim to purport to conform to a voluntary
  standard?  If so, nobody will volunteer to conform to it.  We already
  have vendors who think it is OK to claim to purport to something they
  also display a strong disdain for when push comes to shove, and which
  they undermine when they see an opportunity to do so, and the only thing
  we can do with them is expose their destructiveness and applaud their
  constructiveness, but the whole attitude towards the standard is that it
  does not matter if you violate parts of it in ways that you cannot choose
  to ignore.  In my view, there should have been viable ways to solve these
  "incompatibility" problems so they could co-exist with standard ways, or
  even be _within_ the standard, but this is indeed the path less travelled.

///
-- 
  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?