Skip to main content

Questions tagged [algebraic-effects]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
3 votes
0 answers

What are some examples of non-algebraic effects?

In this (the only at time of writing) answer to How to tell if an effect is algebraic? informative positive examples are given. But I suppose that's less complete without negative examples, to ...
Compl Yue's user avatar
2 votes
0 answers

"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 <...
Labbekak's user avatar
  • 701
9 votes
3 answers

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 ...
user833970's user avatar