But you may have run across monads. What are they, if not a design pattern for "dealing with global state"? No, monad is a monoid in the category of endofuncto

But you may have run across monads. What are they, if not a design pattern for "dealing with global state"? No, monad is a monoid in the category of endofunctors © Jokes aside, there are monads for function application, for software transactional memory, for prolog's backtracking, for call/cc, for quantum computations and for running BASIC programs. And many more Can you stop saying “design patterns” please?