🚀 go-pugleaf

Expires:

Sender:

Followup-To:



Gaynor@porthos asks
:How would Scheme's continuations fit into the area of multiple
:return values?

In a capsule:
1- Returning == Calling a continuation
so
2- Returning multiple values == Calling a continuation with multiple
arguments.

So, if `k' is the normal continuation of `f', and `f' tries to
return `v1', `v2', ..., you could model

                         (values v1 v2 ...)

as

                           (k v1 v2 ...)

I believe Scheme doesn't have this class of continuations
(Scheme's continuations take only one argument). However, that this
modification is possible has been known for a long time (at least
since Steele's work in RABBIT, which is as old as one can get
relative to Scheme), so I wouldn't be surprised if at least one
implementation has supported multiple values.  Actually, this has
been known to denotational semantics people for even longer.

Cesar

-- 
Cesar Augusto  Quiroz Gonzalez
Department of Computer Science     ...allegra!rochester!quiroz
University of Rochester            or
Rochester,  NY 14627               quiroz@cs.rochester.edu