Hacker News Reader

That's actually the only correct part of the blog, arrays form monoids via concatenation and empty arrays.

That's algebra tho, which is very relevant to functional programming (monoids capture the essence of composition) in general, but not the right monoids in category theory.

View on HN

Of course they form a monoid with concatenation, but it's not the monoid that makes the monad (which should be pretty obvious since concatenation is not used in the monad operations for arrays).

The type of join for arrays is Array (Array a) -> Array a which should concatenate all the inner arrays together.

Reply on news.ycombinator.com