In the last few days I made some substantial advancements in my understanding of the so called continuations in Guile

Continuations have been elusive for years

FIRST @neetx suggested me this course (that can be interesting for more scheme features) and particularly this lecture about the continuations passing style

In this course a version of map is shown written in continuation passing style

I didn't understand it so I followed the SICP advice for when you don't understand a piece of code

I made the substitutions of the labda calculus by hand

So the lecture is here

and my work with the manual substitutions is here

BUT the course doesn't illustrate the relationship between cps and the usage of call/cc

So I found another video where an example of usage of call/cc is shown for implementing a cooperative concurrency system

This one

I didn't watch it all yet but the example is very effective and made me do a real breakthrough in understanding

Why din't I do this investigation earlier ?

Because I was discouraged

Thank you again @neetx


I'm glad to help :)

I searched because you made me curious when you introduced me to #guile

These youtube videos are awesome !
Thanks for sharing !

Sign in to participate in the conversation
Functional Café

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!