![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
To compose two monads, you need to provide a Traverse: G[F[G[X]]] → F[G[G[X]]]
Kinda obvious.
He is talking about Emm; something like Eff, for composing monads. Sure need tons of implicits.
I like this notation:
Composition of functors, eh. Makes the code much more readable.
But in general, his code is way too unreadable.
Not enough category theory, too.
Kinda obvious.
He is talking about Emm; something like Eff, for composing monads. Sure need tons of implicits.
I like this notation:
type E = Validataion[Error, ?] |: Task |: BaseComposition of functors, eh. Makes the code much more readable.
But in general, his code is way too unreadable.
Not enough category theory, too.
