Re:Monads are monoids in the category of endofunctors
by skocznymroczny on Friday September 10, 2021 @05:53AM
(#28479483)
It's tricky with functional programming. It's like reading SICP, and after a lot of effort, y-combinators and stuff, the outcome is like "See? Thanks to this invention, we can easily pass multiple parameters into a function". Which is fun, but not anything that will impress a non-functional programming user.
[ Parent
| on HN ]
Re:Monads are monoids in the category of endofunctors
by Koshkin on Friday September 10, 2021 @08:31AM
(#28480591)
This is not an unusual thing to see around foundations of mathematics, either - where it could take dozens of pages filled with complicated argument and construction before one eventually can say, “We can multiply these integers now!”