2009/9/5 John Cowan <[email protected]>:
> Brian Harvey scripsit:
> (Almost.  A continuation has to check how many arguments it expects
> at run time, because there's no way in Scheme to declare the number
> of values that a procedure returns.  I argued for (lambda 2 (a b c)
> (values a b)), but Felix said it was too ugly.)

If I Remember Correctly, in R5, all continuations are explicitly
single-argument except in one, very weird case which is within the
CALL-WITH-VALUES form. And you can only capture that multi-arg
continuation at that lexical point, it is unavailable in any of the
called code. It's really quite grotesque.

The ML approach is really the only correct way to do it, but you need
a new form (or two) from which you can then implement
LAMBDA-as-we-know-it.

david rush
-- 
GPG Public key at http://cyber-rush.org/drr/gpg-public-key.txt

_______________________________________________
r6rs-discuss mailing list
[email protected]
http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss

Reply via email to