I'm super not well-versed in all this so please bear with me. Are Algebraic Effects an extension of Extensible Effects? Or are they a completely different approach? I looked up Algebraic Effects and was surprised to quickly find a transparent-to-me explainer so I think I vaguely get what they are about. (It was this overreacted.io/algebraic-effects-for-the-rest-of-us/ and seemed pretty sensible to me)
@@robertavram11 I almost figured as much. I'd love to have, like, a comparison/reasonably-detailed-but-generally-understandable explanation though. If you happen to know any of those, could you please share links to them? If I understand it right, algebraic effects do the same thing to effects as dependent type theory does to types? Making effects "first class"? Are they still modeled by monads then?
@@Kram1032I sadly don't know of any explicit piece of literature that compares them to that extent. But to answer your question, yes. For algebraic effects, broadly speaking, effectful computation is made first class and the language gives you the opportunity to handle individual outcomes of an effect and their nfluence in the program. Simply put you do the effect (try) and then decide how to handle it (catch) without deterring your initial computation.
![[Gegagedigedagedago] NEW Help Gegagedigedagedago Nugget escape from Nikocado Avocado Challenge](http://i.ytimg.com/vi/hJWnwRC2Fz8/mqdefault.jpg)
Delightful. One of the best presentations on functional programming and side effects. Well done
Wow! This is soo creative
Wow, this was one of the better presentation schemes i've seen. Well done!
I want this as a “childrens book” so someone could read it and show me the pictures every night. Very cool style of talk!
A mathematician just like a poet is deep down an artist
A truly delightful presentation!
interesting talk! Thank you!
sheer genius !
Bravo!
...Until, of course, algebraic effects became a thing, rather recently. :^)
I'm super not well-versed in all this so please bear with me.
Are Algebraic Effects an extension of Extensible Effects? Or are they a completely different approach?
I looked up Algebraic Effects and was surprised to quickly find a transparent-to-me explainer so I think I vaguely get what they are about. (It was this overreacted.io/algebraic-effects-for-the-rest-of-us/ and seemed pretty sensible to me)
@@Kram1032 They're rather different concepts altogether.
@@robertavram11 I almost figured as much. I'd love to have, like, a comparison/reasonably-detailed-but-generally-understandable explanation though. If you happen to know any of those, could you please share links to them?
If I understand it right, algebraic effects do the same thing to effects as dependent type theory does to types? Making effects "first class"? Are they still modeled by monads then?
@@Kram1032I sadly don't know of any explicit piece of literature that compares them to that extent.
But to answer your question, yes. For algebraic effects, broadly speaking, effectful computation is made first class and the language gives you the opportunity to handle individual outcomes of an effect and their nfluence in the program. Simply put you do the effect (try) and then decide how to handle it (catch) without deterring your initial computation.
@@robertavram11 ok thanks :)
I knew him before he was famous
I knew him before he had the british accent
Is he actually famous?
🙏
wow!