Thank you Kit! The progressive enhancements and your animations made it very easy to follow. Love your enthusiasm.
@kitlangton5 ай бұрын
Hey! Thanks ❤
@myang36864 ай бұрын
000
@Worr5 ай бұрын
I would have liked a cycling hue filter on Kit throughout the session :(
@valcron-1000Ай бұрын
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 😞
@kitlangtonАй бұрын
I bit off a bit more than I could chew in an hour and fifteen minutes, unfortunately ☹. I may come back to this someday!
@DisFunctor5 ай бұрын
Awesome talk! 1:01:41 was that a family guy reference I spotted? 😄
@portal_narlish37102 ай бұрын
Very effective talk 😂
@Quehuongbinhphuoc5 ай бұрын
❤❤👆😃
@masynchin4 ай бұрын
Bro just invented Free Monad
@kitlangton4 ай бұрын
😜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.