[r6rs-discuss] [Formal] Drop formal semantics of library toplevel

From: Robby Findler <robby>
Date: Thu Mar 15 14:31:43 2007

On 3/15/07, William D Clinger <will_at_ccs.neu.edu> wrote:
> I am posting this as an individual member of the Scheme
> community. I am not speaking for the R6RS editors, and
> this message should not be confused with the editors'
> eventual formal response.
>
> Robby Findler wrote:
> > lambda cannot express letrec.
>
> That's news to me. I was under the impression that
> several Scheme compilers expand letrec expressions
> into a melange of lambda, procedure call, variable
> reference, assignment, and if expressions.

That sounds right to me. All I'm saying is you need the melange, not
just lambda. Sorry for the lack of clarity.

Robby
Received on Thu Mar 15 2007 - 14:31:41 UTC