Email or username:

Password:

Forgot your password?
Andrew's posts Post Back to profile
Andrew Tropin

I guess I understood what a delimited continuation is!

The examples in this talk by @wingo just clicked: youtu.be/uwiaT3MoDVs?t=1236

I love "a historicall accident" parts :)

If you have other good learning resources on the topic of continuations, please share.

22 May 2023 at 13:23 | Open on fosstodon.org
5 comments
Alan 🎲

@abcdw @wingo I'm not sure it qualifies, but Section 5 of this draft describes how to add delimited computations to a language using a meta language that can express delimited continuations

people.rennes.inria.fr/Alan.Sc

22 May 2023 at 13:52 | Open on framapiaf.org
Andrew Tropin

@brab Good job on the paper! but maybe it's a little too much complicated for me right now :)

I already found a few nice links on the topic of continuations, probably will share them, when learn the material.

22 May 2023 at 16:11 | Open on fosstodon.org
Vivien the Trumpeting Elephant

@abcdw @wingo As I am not a native English speaker, I had a lot of trouble understanding the thing because of phrases such as "unwind" and "dynamic wind"… I mean, do the CPU fans spin faster and create more wind?

22 May 2023 at 16:30 | Open on mastouille.fr
Andrew Tropin

@gugurumbe Same thing here! :D

23 May 2023 at 3:48 | Open on fosstodon.org
Panicz Maciej Godek

@abcdw
FWIW I once came up with this:

lists.gnu.org/archive/html/gui

My implementation used call/cc, but then someone redid it using delimited continuations.

22 May 2023 at 20:00 | Open on functional.cafe
Go Up