I've been reading Finkel's book and in Chapter 2, on Control structures(the part about Continuations) to demonstrate, it uses a language called Io, where instead of returning, procedures just invoke their continuations. I've never seen something like this before, and it's really hard to find anything about that language. Is there any sort of implementation of this left anywhere?
@neauoire the lambda papers are calling
@neauoire one of the lambda papers describe a computing model based on returning by invoking continuations, i forget which one though... if you wanna learn more you should look up continuation passing style (cps)!~