[lmm]

A big advantage of the monad abstraction is that you can define custom monads to suit your business cases, but then reuse a lot of existing functionality with those monads. So looking at which "standard" monads are most popular only tells half the story.

[prionassembly]

This is probably true of every mathematical abstraction in wide usage.

A big advantage of the probability abstraction (as a "partial knowledge" concept supported by Dutch Book/sure bet arguments) is that you can define probability distributions to suit your business cases but then reuse a lot of existing algorithms and even theorems (cutting down on computation).

[siraben]

> This is probably true of every mathematical abstraction in wide usage.

After learning the categorical definition of monads and how they arise in math, I've noticed that programmers tend to have a very operational view of monads, when they are more general than the examples in functional programming.

A good example that came up in a propositional logic class was[0]

[0] https://en.wikipedia.org/wiki/Closure_operator