[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
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.
- Re: Coroutines
- From: Guy Steele - Sun Microsystems Labs <gls@labean.East.Sun.COM>