[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Coroutines


Scheme had first-class continuations from the very beginning. When I use
"call/cc", that's what I mean. Guy's Scheme had catch, which was a binding

Clinger, Friedman, Wand introduced call/cc so that they didn't have to cope
with another binding construct around 1978. That trick was introduced by
Church in 1948; they just applied it to catch.

J is basically like call/cc and catch. I don't know whether Guy and Gerry
knew about this or whether their discovery was independent. Guy? 

Reynolds had first-class labels in Gedanken. He had escape in a 1972 paper,
which is Guy's catch. 

-- Matthias