Category:Monads: Difference between revisions
no edit summary
mNo edit summary |
No edit summary |
||
Line 8:
# '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.
(The term monad derives from [[wp:Monad_(category_theory)|a concept in category theory]]. In ancient Greek the word μοναδικος means 'consisting of units').
|