Editing Monad (functional programming) (section)

== See also ==
'''Alternatives for modeling computations:'''
* [[Effect system]]s (particularly algebraic effect handlers) are a different way to describe side effects as types
* [[Uniqueness type]]s are a third approach to handling side-effects in functional languages

'''Related design concepts:'''
* [[Aspect-oriented programming]] emphasizes separating out ancillary bookkeeping code to improve modularity and simplicity
* [[Inversion of control]] is the abstract principle of calling specific functions from an overarching framework
* [[Type class]]es are a specific language feature used to implement monads and other structures in Haskell
* The [[decorator pattern]] is a more concrete, ad-hoc way to achieve similar benefits in object-oriented programming

'''Generalizations of monads:'''
* [[Applicative functor]]s generalize from monads by keeping only {{mvar|unit}} and laws relating it to {{mvar|map}}
* [[Arrow (computer science)|Arrow]]s use additional structure to bring plain functions and monads under a single interface
* [[Monad transformer]]s act on distinct monads to combine them modularly