4 ms·

no. String concatenation is not a monad.

• groovy2shoes 14y ago
  Strings and concatenation do, however, form a monoid. http://en.wikipedia.org/wiki/Monoid http://en.wikipedia.org/wiki/Monoid
  • thirsteh 14y ago
    A monoid is anything with an associative append and an identity operation. A monad is a form of monoid (in the category of endofunctors; what's the problem?), but monoids are not necessarily monads.
    • groovy2shoes 14y ago
      > A monoid is anything with an associative append and an identity operation. It doesn't have to be an append, it can be any associative operation that is closed over its domain and the domain features an identitiy element. > A monad is a form of monoid (in the category of endofunctors; what's the problem?), A category theoretic monad may be a "monoid in the category of endofunctors". The Monad type is not, strictly speaking, a monoid (but looks like one if you squint a little). > but monoids are not necessarily monads. Who said they are? :)
      • thirsteh 14y ago
        It sounded like you were implying that they were, but the biggest thing they have in common is that their names sound similar.