When I see a new (for me) idea coming from (presumably) category theory I wonder if it really will …

> can a mainstream language adopt the algebraic effects (handlers?) without creating deep confusion or a new language should be built from the ground up building on top of these abstractions in some form. Algebraic Effect is a variant/enhancement of dependency injection formalized into a language. Dependency injection has massive usage in the wild for a long time with just library implementation.

A weak form of algebraic effects are already very common: React hooks. React hooks are different from full-blown algebraic effects in a couple ways: - The handler for the hooks are already implemented for you, and you can't swap it out for a different handler. For example, the implementation of useState is fixed, and you can't swap it out for a different implementation. - They're not multishot resumption. When a hook is raised, the handler can only handle it and resume it once. In a full-blown algebraic effect, the handler can resume the same raised effect multiple times. - Algebraic effects usually come bundled together. Those effects have specific compositional rules with each other. That's how they're algebraic.