This is exactly why I prefer Monoid over Semigroup. Having a law-abiding identity eliminates all sorts of corner caseshttps://twitter.com/carnivorous8008/status/871924374567231488 …
-
I don't have a good answer for the case of Validation
It's the Applicative (Validation e) instance, originally in the paper gives Monoid e => which is problematic, and amended to Semigroup e =>
-
-
Sorry I figured
@GabrielG439 was familiar. It makes me wonder if there is a dual preference for Semigroup for where he prefers Monoid. -
I am firmly in favour of the existence of Semigroup. Too many practical problems otherwise, and I reject the counter-arguments outright.
End of conversation
New conversation -
-
-
Yes. Monoid demands that one too many states be representable. Ockham's razor demands Semigroup.
-
e.g. extract mempty :: a rules out all comonads w/ monoid instances parametric in a, but all can provide semigroups: most are even symmetric
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.