George Pollard@porges·May 30, 2021a thought occasioned by this: effect types = “dependency ejection”?Quote TweetGeorge Pollard@porges · May 9, 2021this seems neat https://koka-lang.github.io/koka/doc/book.html#why…11
Brendan Zabarauskas@brendanzabReplying to @porgesHeh, that's a funny way of putting it! But yeah, effects and handlers are really cool! Effekt is another language doing cool stuff with them:effekt-lang.orgEffekt Language: HomeA research language with effect handlers and lightweight effect polymorphism1:03 AM · May 31, 2021·Twitter Web App2 Likes
