Re:Freer Monads, More Extensible Effects [pdf]
by ssivark on Thursday November 20, 2025 @03:22PM
(#45997184)
I would appreciate a simpler conceptual explanation for someone not steeped in the Haskell / functional programming world :-)
[ Parent
| on HN ]
Re:Freer Monads, More Extensible Effects [pdf]
by tome on Thursday November 20, 2025 @05:01PM
(#45998428)
I gave a talk on this topic at Zurihac this year, called A History of Effect systems: https://www.youtube.com/watch?v=RsTuy1jXQ6Y
It was given to a Haskell audience, but not everyone knew Haskell, so I hope it's generally accessible. It describes how Oleg's work fits into the overall history of Haskell effect systems.
Re:Freer Monads, More Extensible Effects [pdf]
by marai2 on Thursday November 20, 2025 @10:23PM
(#46000877)
Wow, this is so cool that you did this and this showed up right now. There was an online book (soon to be published) by Xavier Leroy on the history of control mechanisms in programming languages with the last few chapters on Effect systems.
Re:Freer Monads, More Extensible Effects [pdf]
by tome on Friday November 21, 2025 @02:57AM
(#46002236)
Thanks! You might also like the introduction I wrote to the Bluefin docs, which has some similar content: https://hackage-content.haskell.org/package/bluefin/docs/Blu...
Yes, Xavier's book was really interesting. It's here: https://xavierleroy.org/control-structures/
It's missing some subtleties of capability-based effect systems (which Bluefin is). Maybe I should write to him.