What Color Is Your Monad

Re:What Color Is Your Monad by dwohnitmok on Wednesday February 16, 2022 @02:00PM (#30364175)

> If you have an effect set {A, B}, you can't know if A happens before B without reading the code. Same issue as monad transformers.

Monad transformers don't have this issue. They have a well defined order in their types (e.g. `ExceptT e (StateT s)` is different from `StateT s (ExceptT e)` the latter blows away the state and aborts on an error, while the former preserves state on an error).

[ Parent | on HN ]

Re:What Color Is Your Monad by isaacimagine on Wednesday February 16, 2022 @04:04PM (#30365657)

When working with monad transformers, I tend to stick to constraining functionality over unspecified monad. This essentially acts as a set (of constraints), which results in all the set-based woes that arise when effects are used. So not monad transformers themselves per se, you're right.

[ Parent | on HN ]