|
|
|
|
|
|
by prionassembly
2104 days ago
|
|
|
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). |
|
|
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