Monads are monoids in the category of endofunctors

Re:Monads are monoids in the category of endofunctors by Littlebigo on Thursday September 09, 2021 @10:25PM (#28477078)

The article is likely aimed at intermediate-ish FP programmers, though, not people with no prior knowledge. (Although I suspect it is an example of "learning by teaching", since it is wrong on many counts.)

Learn You a Haskell mentions functors in chapter 8 and teaches them properly in chapter 11.

http://learnyouahaskell.com/making-our-own-types-and-typecla...

[ Parent | on HN ]

Re:Monads are monoids in the category of endofunctors by mhitza on Friday September 10, 2021 @06:32AM (#28479685)

In my opinion Monads at this point should be considered a beginner Haskell concept.

Regardless of how LYAH chooses to order things, (when have you used a Zipper last time?), they are too essential to any beginner Haskell program.

In my opinion we need a new imperative first approach to Haskell teaching, to develop intuition on monads quickly.

[ Parent | on HN ]