Email or username:

Password:

Forgot your password?
Devine Lu Linvega

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?

9 comments
[DATA EXPUNGED]
acb

@neauoire that sounds a bit like the Haskell IO monad. Coincidence?

program jiggler

@neauoire scheme has call-with-current-continuation which i recently understood as a way to have an "early return" like one might in a python function

iiuc invoking the continuation instead of returning is how schemes (or maybe just chicken scheme?) is implemented

en.wikipedia.org/wiki/Call-wit

Devine Lu Linvega

@cwebber I don't remember seeing a mention of Io in the lambda papers, do you remember which one had anything about first-class continuations?

[DATA EXPUNGED]
opfez

@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)!~

Devine Lu Linvega

@opfez ah yes, I saw. The paper khm linked talks about Io tho, which is what I was looking for. I'm familiar with CSP tho :)

Go Up