It's always the jump from the free monad to actually extensible effects that trips me. It's reasonable how you can handle a single effect by encoding it as a value and threading it, but the moment you introduce multiple effects things get quite complicated, specially the part where you track at the type level which effects have already been handled. Unfortunately this presentation did not get to that part 😞
😜It's true. Though, I didn't explicitly state as much. One of the goals of this talk was to arrive at the Free Monad naturally by solving a series of concrete problems with our DSL. Hopefully, this made the design seem intuitive and almost obvious, even to those unaware of such concepts. Every functional effect system contains the Free Monad among its ingredients. Of course, Algebraic Effects build upon this by allowing for arbitrary, user-extensible syntax and interpretation.
Thank you Kit! The progressive enhancements and your animations made it very easy to follow. Love your enthusiasm.
Hey! Thanks ❤
000
It's always the jump from the free monad to actually extensible effects that trips me. It's reasonable how you can handle a single effect by encoding it as a value and threading it, but the moment you introduce multiple effects things get quite complicated, specially the part where you track at the type level which effects have already been handled. Unfortunately this presentation did not get to that part 😞
I bit off a bit more than I could chew in an hour and fifteen minutes, unfortunately ☹. I may come back to this someday!
I would have liked a cycling hue filter on Kit throughout the session :(
Very effective talk 😂
Awesome talk!
1:01:41 was that a family guy reference I spotted? 😄
❤❤👆😃
Bro just invented Free Monad
😜It's true. Though, I didn't explicitly state as much.
One of the goals of this talk was to arrive at the Free Monad naturally by solving a series of concrete problems with our DSL. Hopefully, this made the design seem intuitive and almost obvious, even to those unaware of such concepts.
Every functional effect system contains the Free Monad among its ingredients. Of course, Algebraic Effects build upon this by allowing for arbitrary, user-extensible syntax and interpretation.