5 ms·
Basically what's going on: with monoids, you can combine things, and then monads result from choosing a clever combining operation in a certain contexts
by platz 8y ago
Basically what's going on:
with monoids, you can combine things, and then monads result from choosing a clever combining operation in a certain contexts
- krapp 8y agoThat makes them sound like union types to me, but I'm guessing they're not like union types, otherwise that's what they would be called.
- mlevental 8y agoUnion/sum types don't combine things though? you can only have ever one variant at a time. it's a misnomer. monads and monoids combine things in the sense of joining them. e.g. lists are a monoid because you can concatenate (they're also a monad for the same reason).