| 11. | Monads go far beyond my theory and into a realm of wackiness.
|
| 12. | :The OP may be interested in Leibniz's Monad theory.
|
| 13. | Computation expressions are an implementation of the monad pattern.
|
| 14. | Every monad arises from some adjunction, in fact typically from many adjunctions.
|
| 15. | Monads are the first elements of every composed thing.
|
| 16. | In contrast, hash tables provide an imperative interface in the IO monad.
|
| 17. | The notion of closure is generalized by Galois connection, and further by monads.
|
| 18. | Eugenio Moggi first described the general use of monads to structure programs in 1991.
|
| 19. | The Monad produces from his thought a feminine divine entity or principle named Barbelo.
|
| 20. | I thought about monads, including your last statement about nobody believing in them.
|
