Wednesday, April 07, 2010

The design space of continuations

I mentioned earlier that the design space for first-class continuations has a lot of historical research behind it. This list of papers on continuations up to around 2005 is a start, but by no means complete. (The history of continuations is actually pretty astoundingly far-reaching. Apparently my PhD advisor's PhD advisor was one of a number of people who independently discovered continuations in different research programs and under different guises.)

The research literature has been helpful to me in understanding the design space of control operators better, particularly because it gives me good models for reasoning, formally or informally, about control effects.

Here are some of the design questions raised by the research literature and good modeling frameworks. This isn't a complete list, and it isn't the place to cite adequately. All I'm interested in is highlighting some of the takeaways.

How much of the continuation can be captured?

Scheme's call/cc allows you to capture the "whole" continuation, up to wherever the language implementor decides is the limit. But delimited continuations make this boundary more explicit, which has a couple benefits. First, by installing a delimiter, you can prevent code that you call from capturing parts of your continuation that you want to keep private. Second, when you capture a continuation, you have a clearer picture of what you're capturing.

What elements of the continuation are captured?

The answer at first seems obvious: you capture the control context and the environment (aka scope chain). But it gets trickier when you have things like exception handlers and other information associated with the dynamic state of the control context.

What kinds of delimiters do you give to users?

In our case, we're only interested in an implicit delimiter at function boundaries. But there are a number of different designs of control delimiters.

What kinds of control-abort operators do you give to users?

Turns out there's at least one in every C-like language: return. That's probably enough for our purposes. But there are several possibilities there, too, and they can get surprisingly subtle.

Does executing a captured continuation install a new delimiter?

This is the key difference between Felleisen's F/# operators [*] and Danvy and Filinski's shift/reset operators. With the former, you capture a continuation up to the nearest delimiter, but when you invoke the captured continuation, there's no new delimiter. With the latter, a captured continuation reinstalls a new delimiter every time you invoke it.

How many times can you enter a continuation?

The most general design allows a captured continuation to be used any number of times. With "one-shot" continuations, you can only enter a continuation once. Notice that "entering a continuation" could mean a number of things: returning normally, unwinding it by throwing exceptions, or calling into it later via a captured continuation.

When do we abort the current continuation?

This one is really, really variable. There are many plausible points in the semantics where an exit can occur, and many of them lead to plausible but distinct designs.

[*] That's pronounced "eff" and "prompt" -- no relation to F#. I just noticed that!

66 comments:

Jizzy said...

tweakbox
https://tweakboxx.info/tweakbox
https://tweakboxx.info/

Jay Shawn Mendis said...

Thank you for sharing the information. Now I would like to divert you from the topic. We are certified experts in the field of QuickBooks. We provide variety of services to resolve QuickBooks error the user may face while using payroll, inventory, POS, pro, enterprise, company file, single and multiple user mode etc. Your opinion are very interesting, attractive article, so i shared it on my facebook. Promise that a lot of people will enjoy it.
error 1904 quickbooks | write off bad debt in QuickBooks | QuickBooks Error 3371 | QuickBooks Error 15106 | QuickBooks 24/7 Support Phone Number

jorge montiel said...
This comment has been removed by the author.
Alex williams said...

We support all types of HP printer troubleshooting and service. Just enter the model number of your printer in 123.hp.com/setup to identify the software and drivers your printer requires. Download and install it in your mac and 'Run' the file. The process is easy however if you have any doubts or queries regarding HP printers contact us.

malina smith said...

It is perfect time to make some plans for the future and it is time to be happy. I've read this post and if I could I desire to suggest you some interesting things or suggestions. Perhaps you could write next articles referring to this article. I want to read more things about it!
visit@-
mcafee.com/activate |
mcafee.com/activate |
norton.com/setup |
office.com/setup |
norton.com/setup

Unknown said...

As claimed by Stanford Medical, It is really the SINGLE reason women in this country live 10 years longer and weigh 19 kilos less than we do.

(Just so you know, it has totally NOTHING to do with genetics or some hard exercise and really, EVERYTHING around "HOW" they eat.)

BTW, I said "HOW", and not "what"...

TAP this link to find out if this easy quiz can help you decipher your real weight loss potential

Sofia Williams said...

Thanks for sharing such informative blog with us. I must say you are an incredible writer, I love the way that you describe the things. If you want I any personality development consultant than contact us at Training Programs For Employees.

QuickBooks Premier Support said...

Thanks for sharing such an informative post.
QuickBooks sometimes receives Learn how you can fix QuickBooks error code 1311 like a Pro at the time of exporting the financial details to the excel file. We have given the possible solution for how to fix QuickBooks error code 404. You can follow the given steps or contact to QuickBooks premier support team to save your precious time and efforts.
However, at times they face few errors with, QuickBooks Online login problems on Chrome when signing in on the Intuit official website.

Bizz Accounting Solutions said...

Thanks for sharing such an informative post.
We hope you find this article helpful in solving the issues that QuickBooks Banking Error 9995. Also, if you are facing issues even after performing the solutions provided here, you can call our QuickBooks Install Diagnostic Tool at +1(800)-880-6389 and speak to certified experts.

roadrunneremail said...

I really happy found this website eventually. Really informative and inoperative, Thanks for the post and effort! Please keep sharing more such blog.

norton.com/setup

spectrum email login

kaspersky activation

Norton Product Key said...

Wow, What incredible information you have shared through your blog, all information is very important for me to thank you so much admin for sharing such content with us. I have also some links which I am gonna share here. norton.com/setup
www.norton.com/setup, Norton product key

Jack Mosan said...

Quickbooks file doctor is a great product by the company of tech support intuit with the intension to make the tech workers satisfied with the support and service for their systems regarding any kind of problems you face.

Rocky Mosan said...

Quickbooks Tool Hub is the software that allows you to choose a list of QuickBooks tools to use and on the other site, QuickBooks diagnostics tool is the tool that is used to diagnose the files and system.

robert0770 said...

I'm truly dazzled about the information you give in your articles. I should state am exceptionally overpowered by your entire story. It is difficult to get such quality data online these days. I anticipate remaining here for quite a while.

office.com/setup

office.com/setup

mcafee.com/activate

mcafee.com/activate

Joe Smith said...

Download QuickBooks tools hub incorporates a collection of every other QuickBooks tools into one application. It can be used to fix any kind of common errors and issues that shows up randomly while accessing QuickBooks.

Rocky Mosan said...

Get the solution of various QuickBooks errors with the best in the market software especially for Accounting purposes. we are offering you the best and the most important ways to use the QuickBooks tool hub error removal to your system. You can visit here to get the usage of it.

Sam Miller said...

www.canon.com/ijsetup
www.norton.com/setup
solutions.brother.com/windows
Malwarebytes unable to connect to service
virus alert from Microsoft this computer is blocked
avast virus definitions won't update

Sam Miller said...

canon.com/ijsetup
epson connect printer setup utility
www.avg.com/retail
how to install Norton antivirus on Windows 10
how do i reinstall norton 360 without disc
support.brother.com/windows
Canon printer drivers for chromebook

Joro N. said...

192.168.49.1
jiofilocalhtml
live net tv/
iniciarbldaoi/
192.168.100.1
192.168.15.1
toppctips.com

Scott Stayris said...

Quickbooks is the advanced accounting software to manage business-related transactions like Cash Flow Statement, Balance Sheet, track sales and expenses, easily vat and computation. In QuickBooks Online Advanced, you can use the Quickbooks Online Backup and restore the app to save online backups of your accounting data.

Anonymous said...

192.168.1.1
192.168.0.1
192.168.1.254
192.168.2.1
192.168.1.1 zte
10.0.0.1

Mark Watson said...

I’m really impressed with your article, such great & useful knowledge you mentioned here. Thanks for sharing your information.
tp link extender setup

Anonymous said...

MSI Afterburner
Shortcut Snipping Tool
notepad++
ultrasurf
rufus
adwcleaner

mrweb said...

QuickBooks Desktop Tool Hub is the software that allows you to choose a list of QuickBooks tools to use and on the other site, the QuickBooks diagnostics tool is the tool that is used to diagnose the files and system.


Steven Salvatore said...

hp com setup - Get started with New HP printer setup. Download hp smart driver and install. Connect hp printer to wireless using 123.hp.com/setup driver.

Mcafee.com/activate said...

This is one of the best blogs I have ever read, Dear author thank you so much for this awesome blog. All information is correct and very useful. Your content is fresh and easy to understand. thank you once again for share this with us and all the best for your next comment. I have also some useful links. Mcafee.com/activate, www.Mcafee.com/activate, Mcafee activation code

Quickbooks Expert said...

Nice post!

Worried About QuickBooks Error ?Get in touch with QuickBooks expert for instant solution.
Click Here to know how to fix QuickBooks Error 15240

Dial on QuickBooks Error Support Number +1-855-977-7463.

Quickbooks error said...

QB update errors QB update errors are the errors that may occur while downloading updates or latest upgrades.
these Errors can prevent Quickbooks to be upgraded and installing new features of Quickbooks.
for more info on same you can visit https://updateerror.co/update-quickbooks/

Quickbooks Expert said...

Nice Blog !
One such issue is QuickBooks Error 248. Due to this error, you'll not be able to work on your software. Thus, to fix these issues, call us at 1-855-977-7463 and get the best ways to troubleshoot QuickBooks queries.

Anonymous said...

Norton Product Key can be found on the Norton.com/setup page. And if you have purchased the CD from a local retail store or from online, then the Norton product key is either inside the box or over the box in the form of sticker/print.

Nick mosan said...

If you are facing 6000 series errors and connectivity issues while using Quickbooks software, you can download quickbooks connection diagnostic tool to fix the issues.

Aalex Morgan said...

"Thankyou for sharing the wonderful post and all the best for your future. I hope to see more post from you. I am satisfied with the arrangement of your post.
You are really a talented person I have ever seen
aol email login| aol email login|
netgearrouterlogin|facebooksignin|
gmail not working|comcastemaillogin|
roadrunneremaillogin|
aol email login|
paypallogin||aol email login||
yahoo maillogin||yahoo maillogin|
quickbooks online login||
intuit quickbooks login||
amazoncompromocode"

Johnson Dan said...

I am a retail businessman and i am using QuickBooks Tool Hub for preparing invoices as it helps me to generate professional invoice for my business that makes my image in the market good. QuickBooks Tool Hub is used for book-keeping, tax management, cash and expense management. It is also used to prepare the data for suppliers and vendors.
It has a customer support number for bug fixing and error finding that increase the smoothness of the software.
https://qbdesktoppro.com/quickbooks-tool-hub/

ankara bahçelievler çilingir said...

ankara bahçelievler çilingir https://ankaracilingirim.com/ankara-bahcelievler-cilingir-anahtarci-05535663113/

Jacob Grayson said...

www.canon.com/ijsetup
www.canon.com/ijsetup
www.canon.com/ijsetup
www.canon.com/ijsetup
www.canon.com/ijsetup
www.canon.com/ijsetup
www.canon.com/ijsetup
www.canon.com/ijsetup

Jacob Grayson said...

solutions.brother.com/windows
solutions.brother.com/windows
solutions.brother.com/windows
solutions.brother.com/windows
solutions.brother.com/windows

QuickBooks Premier Support said...

Thanks for sharing such an informative post.
We are going to explain about how to Fix QuickBooks Error 17337, it’s possible causes and the best solutions steps. However, you can take help from QuickBooks support team @ +1-844-405-0906 to save your time and efforts.
QuickBooks Error Code 392 is one such problem that occurs when updating the accounts.This error also known as OL-392.

QBS Enterprise Support said...

This is a great inspiring article. I am pretty much pleased with your good work. You put really very helpful information.

QuickBooks Student Discount | QuickBooks Install Diagnostic tool | QuickBooks Error 12152

Quickbooks error said...

Hello there, if you face error in payroll update then this might be QuickBooks error 15106, you can resolve it with just a simple procedure. Just visit our website and see the whole process.

agobet said...

Thank you so much Dear Author for sharing this article with us. I have found so much useful information and this blog is very helpful for me to gain my knowledge I am going to subscribe to your Article for further information and all the best for upcoming comments. 123xbet, dg casino, เวป 123, 123goal, ,pg168, pg สล็อต เครดิตฟรี ไม่ต้องฝากก่อน ไม่ต้องแชร์ ยืนยันเบอร์โทรศัพท์, ไม่ต้องแชร์ ยืนยันเบอร์โทรศัพท์, สล็อต เครดิตฟรี ไม่ต้องแชร์

Max Turner said...


The Webroot program is highly rated software to protect your devices & data available for download at |
ij.start.canon| ij.start.cannon/ts3322 | microsoft365.com/setup| Microsoft365.com/setup

Max Turner said...


Enter Trend micro activation code on www.trendmciro.com/activate | www.trendmicro/activate to download and activate Trend Micro. To activate Trend micro, make sure you already have an activation code that you’ll probably enter on the trendmicro.com/activate site.

Axpert Accounting said...

Thanks for sharing such an informative post.
In any small industry, Managing Accounting Reports through QuickBooks Pro Version is simply comes with lots of accounting programs in a systematic manner. This a luxury features that helps to manage and calculates all your accounting reports as regularly. QuickBooks Desktop Pro is an accounting and bookkeeping software that helps to manage all your issues QuickBooks Pro most Common Error and Troubleshooting in a well mannered.

Ian Bell said...

Global “Shockwave Therapy Device Market” report covers key element of the industry including progression, segmentation, growth prospects, opportunities, challenges and competitive analysis. The segmental analysis focuses on revenue and forecast by regions, by Type, and by Application for the period 2021-2026. This report analysis market size, development status and outlook with company overview. It also provides competitive landscape details and data information by top key players.

Kajal Agerwaal said...

Students need to gain relevant ideas about the courses after 12th. The changing time has provided various career segments through which they can see their future. However, a substantial decision can be taken by evaluating one's own likings towards the career field. Students can select the courses after completing their 12th as per the subject they had taken in the 12th itself from a career point of view.

sofihayat said...

Hi, I am Sofi Hayat, I am working as a tech expert at Yahoo support. I have 3 years of experience in this field. you have any problems related to Yahoo Customer Service, etc, then please contact me for instant help related to Yahoo email problems.

nova smith said...


Initiate fir Cash App Dispute quickly with simple steps:

Initiating the Cash App Dispute with simple steps is necessary. However, most of them are not known with the right techniques. And this is why choosing the path that may help them to overcome the unpredicted troubles is the most remarkable aspect. Cash app users can talk to the service team working specifically for the cash app customers irrespective of the certain time to keep them happy.

nova smith said...

Know How To Activate The Cash App Card With And Without A QR Code
Are you looking for a trustworthy source through which you want to comprehensively understand How to Activate the Cash App Card with and without a QR Code? All you need to do is to be relaxed and approach the Cash App customer care representatives who will help you out properly.

AU Team designs said...

3D Architectural rendering creates surreal visualization with vivid details bring out precise outcome concepts supports outstanding presentations for building architectural designing.Building architectural designing stages at its best with 3d architectural rendering this revolutionary technology offers professional presentation or walk-through into the building design.
3d architectural rendering

Tourtoreview said...

Thank you! I really enjoyed your post I want to share with you all a useful source If you are planning a short one day trip the gandikota is the best place to visit with amazing sightseeing. Gandikota is a small town in India that can be explored in one day. But don’t judge this place by its size.
gandikota

Adam Lee said...

Linen fabrics are very popular in hot and humid climatic region such as Asia Pacific and Middle East. The various advantages associated with linen fabrics such as smoothness, coolness, lint-free, softer over longer duration, are driving the linen fabric market globally.

Also read: acetic anhydride market | Tobacco Market

windikartika said...

Learn how to resolve the yahoo mail down glitch from experts
Not able to do your work because of yahoo mail down the issue? Why is there a Yahoo outage problem? For solving these glitches of the Yahoo account, contact the technical support team of Yahoo that works around the clock. Through them, you will get help in fixing the problems with quick troubleshooting steps.



Quickbooks error said...

Quickbooks doctor file is an understood illustrative device developed especially to deal with the bugs that trigger association record pollution (can't open association reports), network hiccups and hampers the smooth working of QuickBooks accounting programming. Having said that, the customers don't have to stand up to the unsettling influences while managing their assets and won't startle accounting errors. Also, running the QBFD mechanical assembly can in like manner help you when you see some nastiest QuickBooks errors, for instance, error code - 6000, QB error 6150, error code 82, or QuickBooks error code H202, H101, etc

nik jones said...

Your article so much and I appreciate your thought and views. This is really great work. Thank you for sharing such a useful information here on the blog.


QuickBooks Error H202


QuickBooks is Unable to Verify Financial Institution


QuickBooks Error with Status Code 3000


QBWebConnector Error QBWC1039


QuickBooks Error 12031

Quickbooks error said...

Quickbooks update error 15106 often takes place while downloading QuickBooks Desktop updates with a mistake message popping up from the screen.

Quickbooks support said...

Intuit created Quickbooks to help business owners and professional by taking care of their accounting needs. You can focus on core aspects of your business rather worrying about legal obligations of bookkeeping by simply using Quickbooks. Quickbooks support

quickbooks file repair said...


Thank You So Much For providing the important and Knowledgeable information

sourceessayhelp said...

Students are given to write case study assignments when they are perusing a course. It is very important for them to score well in their case studies to build a positive image in the eyes of their professors. And most importantly if they fail to score well, they won’t be able to improve their overall assignment grades. The only way to score well in case study assignment help is to write a flawless case study that is unique, free from factual or grammatical errors and adhere to the guidelines provided by the university. SourceEssay has stepped forward with a team of PhD MBA experts who provide case study help to students. Students can now buy case study online at reasonable rates from SourceEssay's case study writing service.

james smith said...

QuickBooks errors with the 15240 series depict issues while downloading the update.
Quickbooks update error 15240 is an accounting software tool. This tool is gaining more popularity in the market. It is a very useful tool for small and medium shopkeepers and Entrepreneurs. you never lose your data and many other details.

taylor fox said...

Office is a set-up of applications designed to assist with efficiency and doing common tasks on a PC. to setup office enter Product Key and activate, kindly visit www.office.com/setup.

Axpert Accounting said...

I personally found this post so much communicative and factual and enjoyed reading it.
QuickBooks Unexpected Error 5 | Fix QuickBooks Error Code 1601 | QuickBooks Desktop Pro Most Common Error

Trade Flock said...

Thank you! I really enjoyed your post I want to share with you all a useful source If you've misplaced your AirPods this blog will teach you how to find lost airpods. It might be difficult to locate a misplaced pair of AirPods. If certain circumstances are satisfied, Apple's Find My program will be invaluable in your search since it may display your location on a map or play a sound to assist you in locating them. Visit our web page for more.

Unknown said...

Amazing blog ever come across on the internet. In case you need online assignment help, then sourceessay.com will be the best place to learn the amazing writing techniques from assignment writers. Dissertation writing Service Chicago

qbsenterprisesupport said...

Your Post is very unique and all information is reliable for new readers. Keep it up in future, thanks for sharing such a useful post.

QuickBooks Error Code C=1327 | Banking Error 185 in QuickBooks desktop | Setup QuickBooks Email Service In QB Desktop

Unknown said...

Great work. Do you want help with case study assignment help? sourceessay.com will be ideal place to explore numerous blog on different subjects. Essay rewriter Leicester

asd said...

Readers are always admiring informational blogs, and this is truly one of them. You did a great job. If you want to enhance writing skills, Sourceessay.com based assignment writer is the best solution for you. Master thesis Los Angeles