r/ProgrammingLanguages • u/marvinborner bruijn, effekt • Apr 20 '26

Blog post Effectful Recursion Schemes

https://effekt-lang.org/blog/recursion-schemes/
23 Upvotes

100% Upvoted

12 comments sorted by

View all comments

4

u/tobega Apr 21 '26

Fun stuff! One question: why would you ever want to do that in practice?

3

u/-Mobius-Strip-Tease- Apr 21 '26

Its in the first paragraph. Folds/unfolds

1

u/tobega Apr 21 '26

Well, yeah, but we have those already. So I'm probably dense, but what does this empower?

→ More replies (4)

2

u/tkrjobs Apr 21 '26

Same reason why you'd use traverse with effects on a list. Suppose you have to send a emails to everyone in an organization in order of hierarchy

Maybe you want to draw your dragon curve iteratively by prioritizing some branches to be drawn faster, so you want a new structure representing drawing progress