Comments on SRFI-39 shivers@xxxxxx (26 Jan 2003 08:45 UTC)
Re: Comments on SRFI-39 Matthew Flatt (26 Jan 2003 14:10 UTC)
Re: Comments on SRFI-39 sperber@xxxxxx (26 Jan 2003 15:38 UTC)
Re: Comments on SRFI-39 Richard Kelsey (11 Feb 2003 15:58 UTC)
Re: Comments on SRFI-39 bear (11 Feb 2003 16:16 UTC)
Re: Comments on SRFI-39 Richard Kelsey (11 Feb 2003 16:56 UTC)
Re: Comments on SRFI-39 Marc Feeley (13 Feb 2003 01:38 UTC)
Re: Comments on SRFI-39 Richard Kelsey (13 Feb 2003 02:30 UTC)
Re: Comments on SRFI-39 sperber@xxxxxx (13 Feb 2003 12:47 UTC)

Re: Comments on SRFI-39 bear 11 Feb 2003 16:16 UTC

I think that there may be a problem of kind here.

Are winding continuations a la R5RS *compatible* with threads?  Do
they belong in the same langauge?

To me it looks like if you have non-blocking I/O and call/cc with
winding continuations, you don't need threads.  And if you want
dynamic state maintained for safety by winding continuations, you
can't have threads of the kind you're talking about without some
fundamentally new state-maintenance operations that can handle
arbitrary multiple points of program execution simultaneously.

I'm aware of the vast flamage which has occurred on the topic of
winding continuations in general.  And I don't want to touch off a
flamefest here.  But it seems to me that threading and any kind of
protected call/cc are probably fundamentally opposed ideas and that
you can't have both in the same program without a flawed design.

				Bear