Sat Apr 4 09:50:59 CEST 2009

transposed notation

(define-syntax-rule (update ((formal next) ...))
  (lambda (formal ...) (values (next ...))))

What about using this macro to write down machine operations?  One
advantage of this is that it makes implementation faster because it
doesn't need dynamic memory for the arguments/return values.  (Can I
test this assumption?)

Let's stick to syntactic abstraction first and leave implementation
for later.