2 ms·
Coeffects: Context-Aware Programming Languages
- gsuuon 3y ago> 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 https://news.ycombinator.com/item?id=37138807 [2] https://news.ycombinator.com/item?id=37171943 https://news.ycombinator.com/item?id=37171943