Questions tagged [algebraic-effects]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
7
votes
3answers
289 views

Can Non-termination be considered an algebraic effect?

Non-termination is sometimes considered an effect. I have been reading about algebraic effect systems (What is algebraic about algebraic effects and handlers?), and I suspect non-termination (like ...
2
votes
0answers
39 views

“finally” for algebraic effects and handlers

In Java in addition to catch there is also finally, this is very important to make sure resources get cleaned up. I believe <...