Re: loop facilities

Matthew Swank <[email protected]> Sat, 24 Feb 2007 21:31:29 -0600
Newsgroups gmane.comp.lang.lightweight
Message-ID <[email protected]>
Vadim Nasardinov wrote:
>
> Why don't we talk about something really important and interesting
> instead?  Say, loops vs. tail-recursive iteration.
>
> Olin "Sig Sauer" Shivers has this totally awesome and
> under-appreciated paper called "The Anatomy of a Loop":
>
> In it, he discusses, inter alia, what's wrong with Scheme's perceived
> insistence that loops be implemented as tail-recursive functions.  He
> also points out a few issues with the Common Lisp loop "facility".
>
>   
His problem isn't with iteration implemented as recursion, it's with the
unavailability of looping constructs in scheme more sophisticated than
what is essential a lexically scoped tagbody-go.

The loop macro is the abstraction; the tail-recursion is the assembly
language.

Matt