Poly-morphic effect handlers

Topos Institute

Wed Feb 14 2024

In many programming languages, developers can use effects in the process of computing a result. For example, a program may use an effect to output information beyond its returned result.

---

This is a companion discussion topic for the original entry at https://topos.site/blog/2024-01-03-algebraic-effect-handlers/