[r6rs-discuss] Thoughts on Scheme's Future

[Aubrey Jaffer]

 | Date: Mon, 14 Sep 2009 15:06:05 +0200
 | From: Antonio Vieiro <antonio.vieiro at gmail.com>
 | 
 | Some comments inlined.
 | 
 | 2009/9/14 Aaron W. Hsu <arcfide at sacrideo.us>
 | 
 | ...
 | R6RS *does* explicitly specify how the arguments to a procedure
 | call are to be evaluated in a concurrent environment.
 | 
 | But R6RS does *not* specify how let bindings are to be evaluated
 | concurrently,

Not directly, but indirectly.  "let" does not appear in the "Appendix
A. Formal semantics", but does appear in "Appendix B. Sample
definitions for derived forms", where it is expanded to combinations
of lambda expressions, which are covered by the procedure call
argument order stuff.