8 April 2021
Ad-hoc interpreters with capability
Define effect interpreters dynamically using reflection
capability
20 March 2019
Capability is about free monads. It's a bird… It's a plane… It's a free monad!
There has been recent online discussions about impredicative encoding (aka final encoding) of free monads. Capabilities-as-type-classes, as embodied by the capability library, are essentially the same thing.
4 October 2018