📝⚛️ New on Overreacted: Algebraic Effects for the Rest of Us. This is the introduction to algebraic effects that I needed.
Conversation
Very interesting, thanks!
I didn’t get why it’s called “algebraic effects” 🤔
“by 2025. Remind me to check back in five years!”
That wasn’t necessary! It’s in five years?! 😱
1
2
I think it’s meant to be for the same reason as “algebraic data types”. Because you can perform different kinds of effects.
2
1
I think it's meant to refer to the fact that they follow certain 'algebraic rules'. like in numbers follow certain rules like:
x + 0 = x
x + y = y + x
etc. This means you can move around and rearrange them without changing the semantics of the program.
2
8
There was a lecture about them at OPLSS 2018: youtube.com/watch?v=atYp38 - it's technical, but well-explained! (I can't promise my answer agrees with this presentation - it was a while since I saw it)
1
1
8
I went skimming through the lecture notes and it seems like they are inspired by 'algebraic theories', which roughly is what I described with the number example above: arxiv.org/abs/1807.05923 - following the video would be a long detour though - only do so if your really curious!
they are "algebraic" because they form an algebra (in the categorical sense). you can think of algebraic effects and handlers in this way:
operations => checkpoints for actions to be performed
handlers => folding all checkpoints while performing them
1
5
(disclaimer: algebraic effects and handlers are the main topic of my phd thesis. I'm not just randomly asserting things 😅)
6