Follow

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
youtube.com/watch?v=_kCa9heo83

and my work with the manual substitutions is here

gitlab.com/-/snippets/2189794

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

youtube.com/watch?v=Ju3KKu_mth

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

@abbienormal

I'm glad to help :)

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

@abbienormal
These youtube videos are awesome !
Thanks for sharing !
@neetx

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!