3 ms·
Isn't a Monad just the fancy name for a type/structure that implements map and flatMap in a lawful manner?
by s4vi0r 9y ago
Isn't a Monad just the fancy name for a type/structure that implements map and flatMap in a lawful manner?
- hota_mazi 9y agoClose: the required operations are `flatMap` and bind/pure/point/lift/return/whatever-you-want-to-call-it. You can derive `map` from these two other functions so it doesn't need to be part of the interface.