Why I'm excited about effect systems (2025)

Reading just the intro paragraphs, it's interesting how effect systems seem to give many of the benefits Guice-like dependency injection does (and somewhat subsumes it). But obviously better when it's tracked through the type system.

Honestly, I quite liked dependency injection in Java. I don't really use the pattern in other languages, as often it just becomes quite ugly whereas I think Guice made it pretty nice.