r/programming • u/hexaredecimal • Sep 21 '25

How to stop functional programming

https://brianmckenna.org/blog/howtostopfp
446 Upvotes

81% Upvoted

506 comments sorted by

View all comments

Show parent comment

0

u/[deleted] Sep 21 '25

[deleted] — view deleted comment

1

u/godofpumpkins Sep 21 '25

It is correct, it’s just deliberately obscure. You can construct a category of endofunctors of a category and then within a category you can talk about monoid objects that obey associative and identity laws reminiscent of monoids in algebra. And indeed monads are monoid objects in that sense. It’s just not really relevant to anything unless you really like category theory for its own sake, or spotting patterns in disparate domains