call-with-values & call/cc 
Author Message
 call-with-values & call/cc

I've been reading Pavel Curtis' Lisp Pointers article about the
records and multiple values proposals.
I find the article to be less than 100% clear about the interaction
of CALL-WITH-VALUES and CALL/CC.

In short: does
        (call-with-values (lambda ()
                            (call/cc (lambda (k) (k 2 3))))
                          +)
evaluate to 5, or is it an error?

In the article, VALUES is first "defined" in terms of CALL/CC. Then
it is is recognized that reified Scheme continuations always expect
exactly one argument, so CALL-WITH-VALUES is introduced to create
implicit variadic continuations.

But is the previous definition of VALUES in terms of CALL/CC still
valid? Has CALL/CC been changed to reify a continuation as a procedure
of the same arity as the continuation, or does CALL/CC still return
single-argument procedures?
--
Mikael Pettersson, Dept of Comp & Info Sci, University of Linkoping, Sweden



Tue, 28 May 1996 21:54:43 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. Call-by-value vs. call-by-need/name

2. Call by reference vs. call by value

3. Call by reference vs. call by value

4. Floppy Port Calls & SCSI port calls

5. Scheme values and call-with-values

6. Scheme values and call-with-values

7. The expense of call/cc (was R4RS)

8. references on call/cc

9. call/cc in Forth?

10. call for papers: ESOP, CC, CAAP

11. call/cc possible in Dylan?

12. Trouble with CALL/CC

 

 
Powered by phpBB® Forum Software