Seems like the idea behind algebraic effects. Glancing at “Programming and Reasoning with Algebraic Effects and Dependent Types” I see the same type in the implementation. Is there any practical difference?
Seems like the idea behind algebraic effects. Glancing at “Programming and Reasoning with Algebraic Effects and Dependent Types” I see the same type in the implementation. Is there any practical difference?