4 ms·
> In fact, this may be the case. I seem to recall that Haskell monads only have to obey two of the three monad laws. That is, they don't have to truly be (CT) m
by tome 11y ago
> In fact, this may be the case. I seem to recall that Haskell monads only have to obey two of the three monad laws. That is, they don't have to truly be (CT) monads.
That's news to me! Mathematicians wouldn't find the monads that appear in Haskell especially interesting, I think (at least not the ones that are instances of `Monad`), but that's beside the point.
- AnimalMuppet 11y agoSo I'm repeating what somebody said rather than my own claim, but I think it was that Haskell monads didn't have to be... one of left- or right-associative. But they had to be the other. Wish I knew of a good way to search HN; it was in a comment here maybe 6 months or a year ago...
- tome 11y ago> Haskell monads didn't have to be... one of left- or right-associative. But they had to be the other. That's very puzzling. I wish I knew what you were referring to!
- AnimalMuppet 11y agoHah! Found it. https://news.ycombinator.com/item?id=7770129 https://news.ycombinator.com/item?id=7770129 That was my source (I was the parent). Unfortunately, it doesn't quite answer your question...