Why use an effect system?

[atravers]

Because I also can’t remember everything:

The issues with effect systems

Hello, I’ve been rather interested in effect systems for months at this point and I’ve been researching their benefits and issues. I do know that their benefits include: Potentially being faster than traditional MTL (put a pin on this, I’lll come back to it later…) Being easier to write & read (?) They compose nicer than monads (could be a subpoint of 2?) I might’ve missed some other potential benefits with effect systems, so I’d love to hear about them if you have any in mind. But while the…

…to avoid further gratuitous repetition here.