Re: CPS in Parrot

[Matthias Felleisen <address@hidden>]

On Wednesday, August 6, 2003, at 03:27 PM, Michael Sperber wrote:

>>>>>> "Matthias" == Matthias Felleisen <matthias@ccs.neu.edu> writes:
>
> Matthias> It depends on what you mean with "build". It is certainly
> Matthias> not true that FunctionalScheme + callcc can express F (my
> Matthias> good old friend that produces composable continuations,
> Matthias> which eventually made it into Mach 4). I also don't see how
> Matthias> FunctionalScheme + callcc can express prompt.
>
> Right.  Filinski's work depends on call/cc + 1 reference.

BTW, Dorai published an implementation of F + prompt via callcc and
set! in 1988 in HOSC (then LASC). Of course it wasn't typed, so it must
have been broken :-) -- Matthias (sorry Dorai)