4 ms·
What you want is an effect system. Check out Koka lang for a very interesting implementation: https://koka-lang.github.io/koka/doc/book.html#why-effects https:
by the_duke 5y ago
What you want is an effect system.
Check out Koka lang for a very interesting implementation: https://koka-lang.github.io/koka/doc/book.html#why-effects https://koka-lang.github.io/koka/doc/book.html#why-effects
- artemonster 5y agoI 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.
- staticassertion 5y agoOh yeah, I know.