On Fri, 18 Nov 2022, at 10:27, Lassi Kortela wrote: >> Would "is like the body of a lambda" be a better wording? > > R7RS section 3.5. says: > > (lambda <formals> <definition>* <expression>* <tail expression>) > > The <definition>* are the stuff you are adding.
Not quite. Guile extends the lambda body (and by extension let-forms) to allow mixed definitions and expressions: (lambda () (display "Heippa!") (define routsi #t) (and (read) routsi)) which expands to, more or less, a letrec*. All in accordance to the paper fixing letrec(reloaded). Thus saying that the cond clause body is like a lambda body is probably the simplest way to express it. best regards Linus Björnstam
