Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
devit
on Sept 10, 2021
|
parent
|
context
|
favorite
| on:
Monads are monoids in the category of endofunctors
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).
lkitching
on Sept 10, 2021
[–]
The type of join for arrays is Array (Array a) -> Array a which should concatenate all the inner arrays together.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
