Capability-passing is a particularly straightforward approach to effect handlers. This paper is a nice introduction. I like that it spends some time relating the work to object-oriented techniques, which should make it a bit more approachable to the typical programmer.
Capability-passing is a particularly straightforward approach to effect handlers. This paper is a nice introduction. I like that it spends some time relating the work to object-oriented techniques, which should make it a bit more approachable to the typical programmer.