(alexyorke.github.io)

153 points polygot | 1 comments | 29 Jun 25 17:53 UTC | HN request time: 0.217s | source

Show context

robinhouston ◴[02 Jul 25 16:46 UTC] No.44445900[source]▶

>>44414965 (OP) #

I expect the author has done this knowingly, but the title is rather painful for a mathematician to read.

A list is not a monad. List is a monad. A list is an algebra for the List monad.

replies(3): >>44445994 #>>44446493 #>>44448322 #

1. polygot ◴[02 Jul 25 20:16 UTC] No.44448322[source]▶

>>44445900 #

Thanks for the feedback! I can definitely rename the post soon as a first step, although this may require rewriting a chunk of the article to more accurately reflect the fact that List is a monad, and not "a" list.

I could make this distinction in part 3 (not written yet) although I want to balance not misleading readers, but not overcomplicating it too early on.

↑

A list is a monad