Category:Monads: Difference between revisions
Slight reorganisation of the overview text
No edit summary |
(Slight reorganisation of the overview text) |
||
Line 1:
{{draft task}}
In functional programming, the [[wp:Monad_(functional_programming)|Monad]] pattern is a general solution to the problem of nesting (or 'composing')
Functions of this type can not be directly nested with each other, because their output type (wrapped) does not match their input type (raw and unwrapped).
The monad pattern consists of writing two higher-order functions which allow the programmer to easily nest the application of such functions, by abstracting out the mechanics, and making sure that a function does not choke on an unexpected input type (a wrapped type, when it was expected a raw type).
The two monad functions are sometimes named as follows:▼
More specifically, the two higher-order functions of the monad pattern handle the details of: 1. wrapping data in a particular kind of envelope, and 2. Providing other functions with direct access to the contents of an enclosing envelope.
# 'Return' or 'unit' which wraps a piece of raw data, returning the wrapped 'monadic' form. ▼
# 'Bind' which applies some other function directly to the contents of a monadic wrapper, obtains a result, and returns a wrapped form of that result.▼
▲# '''Return''' or '
▲# '''Bind''', which applies some other function directly to the contents of a monadic wrapper, obtains a result, and returns a wrapped form of that result.
(The term monad derives from [[wp:Monad_(category_theory)|a concept in category theory]]. In ancient Greek the word μοναδικος means 'consisting of units').
Commonly used monads:
;the Writer monad
:Nests functions which return their output in an envelope that includes a log string.
;the Maybe monad
:Nest partial functions which return their output in a wrapper that includes a boolean flag – indicating whether or not the input value was legal.
;the List monad
:Nests functions whose outputs consist of ranges of possible values, rather than single values. This provides a convenient encoding of cartesian products and set comprehensions.
(Other frequently used monads are the
| |||