←back to thread

Algebraic Effects in Practice with Flix

(www.relax.software)
97 points appliku | 2 comments | 07 Sep 25 12:07 UTC | HN request time: 0.412s | source
Show context
voat ◴[07 Sep 25 14:36 UTC] No.45158518[source]▶
The algebraic effect handler pattern is a much simpler mental model than monads. And is transferrable to other languages pretty easily. See something like https://github.com/doeixd/effectively in Typescript
replies(2): >>45158694 #>>45158894 #
1. epolanski ◴[07 Sep 25 14:53 UTC] No.45158694[source]▶
1. The effect data type admits an instance of monad, like arrays or option or result. Not sure why would you put those in competition, an effect is a supercharged ReaderResult. The only differences are in naming choices, traverse being called foreach, flat map being called "and then", etc.

2. There is a much more popular and robust implementation of effects for Typescript: https://effect.website/

replies(1): >>45161846 #
2. naasking ◴[07 Sep 25 20:30 UTC] No.45161846[source]▶
> The only differences are in naming choices

Naming choices matter, as does syntax.