4 ms·
Monads allow representing which global values a function reads to or writes to in the type of the function.
by lalaithion 2y ago
Monads allow representing which global values a function reads to or writes to in the type of the function.
- darby_nine 2y agoMonads do not imply global values or variables.
- anyfoo 2y agoBut the stated paradigm is one thing they allow. See the Reader, Writer, and State monads.