|
|
|
|
|
|
by siraben
2104 days ago
|
|
|
> 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 |
|
|