Skip to main content

Questions tagged [effect-systems]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
17 votes
2 answers
3k views

What does it mean that a language has an "effect system"?

I struggle to get the thing about "algebraic effect systems". What is it really about? Is it mostly about that functions doing IO (e.g. http request) should have that IO-operation visible in ...
Jonas's user avatar
  • 304
11 votes
1 answer
423 views

What's the state of the art for implementing effect handler systems?

Effect systems allowing locally introducing and eliminating effects have started to appear in (more) practical systems recently, but they've always had a reputation as being a major challenge to ...
Michael Homer's user avatar
  • 13k
6 votes
1 answer
285 views

How to give a type to a continuation that is polymorphic in the parameter?

I was trying to implement algebraic effects in my language, but I was caught into the same problem that some papers about CPS try to solve in a expression like ...
Sofia Rodrigues's user avatar
7 votes
1 answer
222 views

How do algebraic effects provide similar capabilities as implicit contexts or dependency injection?

In Tyler Mandry's "Contexts and Capabilities", he writes: What if Rust code could instead declare the context it needs, and the compiler took care of making sure that context was provided? ...
Kyle Strand's user avatar
10 votes
1 answer
213 views

How to implement resume

There is a feature called resume in these languages/articles, which can re-enter the position of perform during catch. https://...
Aster's user avatar
  • 3,228
11 votes
1 answer
236 views

What are the current drawbacks of effect systems?

Effect systems (aka algebraic effects), IMHO, are a pretty powerful construct that can be used to model various kinds of patterns which traditionally require "dedicated" features to express, ...
Luiz Felipe's user avatar