Coeffects: Context-Aware Programming Languages

> 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.

[1] https://news.ycombinator.com/item?id=37138807

[2] https://news.ycombinator.com/item?id=37171943