4 ms·
I wonder how many times people will have to reinvent algebraic effects until it becomes mainstream :)
by artemonster 5y ago
I wonder how many times people will have to reinvent algebraic effects until it becomes mainstream :)
- the_duke 5y agoUntil a large company either creates and heavily invests in a new language, or integrates an effect system into a very popular language like C# or Java. Sadly I don't see that happening anytime soon.
- mananaysiempre 5y agoI know this is a very basic question, but what is it about algebraic effects that makes them compose when monad transformers don’t? I’ve read some of Bauer’s early Eff work, which IIUC was explicitly motivated by this, but for all the neat stuff about resumable exceptions and delimited control and whatnot I don’t feel I ever saw (or recognized) the definitive answer to this.