[racket] Multi-return Function Call

From: Anthony Carrico (acarrico at memebeam.org)
Date: Mon Feb 20 20:21:06 EST 2012

It is only 60 LOC, so go ahead and take a look:


AUTHOR: Anthony Carrico <acarrico at memebeam.org>

This is an implementation of Olin Shivers'/David Fisher's
"Multi-return Function Call". I'll quote from the abstract of their

  "It is possible to extend the basic notion of 'function call' to
  allow functions to have multiple return points. This turns out to be
  a surprisingly useful mechanism. This article conducts a fairly
  wide-ranging tour of such a feature..."

The paper is at:

I'm not aware of any published implementation of this feature. I wrote
this version after looking at the language creation features in
Racket. I was wondering how Racket might host languages with features
that weren't supported by its primitives and multi came to mind, but
after reading through the Racket documentation on continuations, I
began to think that it was possible to implement multi as a plain old
macro with continuation marks and prompts.

My syntax has minor differences from the paper. Return points are
indexed from ZERO, not one, since that is how vectors (etc.) are
indexed in Scheme. Also, the indexed return point syntax isn't
prefixed with #, and the lambda return point syntax doesn't have a
lambda keyword.

Look through test.rkt for a bunch of examples.


I'd like to hear from someone who knows Racket really well to tell me
if I'm barking up the wrong tree. Is there a better way to provide
multi? Is what I have done reasonable?

The macros could be better, and give better messages, etc. Please send
a patch if you are good at that sort of thing.

The multi macro would need to be improved to capture the super tail
call semantics:
  * A prompt should only be used when introducing lambda return points.
  * Unused prompts could be popped off the "stack" before setting
    up new return points.

Anthony Carrico

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 262 bytes
Desc: OpenPGP digital signature
URL: <http://lists.racket-lang.org/users/archive/attachments/20120220/4c59d08b/attachment.sig>

Posted on the users mailing list.