> Coeffects are the dual of effects. Effects represent what your program does to the world while coeffects track what your program requires from the world.
I think this is a neat follow up to both the how to read types[1] and the railway oriented programming[2] posts. Railway oriented programming made me think of algebraic effects, which reminded me of this article. It's also a really really great presentation format where you can drill down into various topics or just stay at the top level.
I think this is a neat follow up to both the how to read types[1] and the railway oriented programming[2] posts. Railway oriented programming made me think of algebraic effects, which reminded me of this article. It's also a really really great presentation format where you can drill down into various topics or just stay at the top level.
[1] https://news.ycombinator.com/item?id=37138807
[2] https://news.ycombinator.com/item?id=37171943