I’ll get back to you sometime in the future

I’ve spent the last week or two reading this paper, which contrasts continuations and exceptions, by giving a mathematical proof that they can be separated by various expressions (where separating means giving two closed terms which are equal in one scenario and differ in another scenario). The paper also shows that you cannot implement state in either of these mechanisms. The paper is interesting as it shows how you can prove these things from the operational semantics of the language.

I got interested in continuations again after reading this argument against call/cc and the associated continuations page, and mean to spent a lot more time looking at them in the future.

Advertisements
This entry was posted in Computers and Internet. Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s