Whoever can give a proper definition/explanation of a monad in the least amount of words wins.
Rules:
1. No metaphors. Monads are not burritos, end of story.
2. Where possible, use English words and not syntax
3. When syntax must be used, avoid Haskell and derivatives of Haskell.
4. Definition of monad must be complete, and not simple an example of a monad.
Name:
Anonymous2013-08-12 5:12
A monad is a monoid endofunctor with a category of itself.
Name:
Anonymous2013-08-12 5:15
>>2
Almost true.
A monad is like a burrito in that it's a monoid endofunctor with a category of itself.
AN ``HMA'' IS MY ANUS IN THE CATEGORY OF HAXED THINGS
Name:
Anonymous2013-08-12 8:44
In functional programming, a monad is a structure that represents computations. A type with a monad structure defines what it means to chain operations, or nest functions of that type together. This allows the programmer to build pipelines that process data in steps, in which each action is decorated with additional processing rules provided by the monad.
Name:
Anonymous2013-08-12 8:47
Why are you giving stupid limitations? You should use the language that best describes what you want.
Name:
Anonymous2013-08-12 9:42
A monad is a functor T : C -> C with two operations (η : 1C -> T,μ : T2 -> T) for which the following conditions hold:
Those operations are called natural transformations, their objects are functors and their arrows are mappings between those functors.
A functor has categories as objects and their arrows are mappings between those categories.
A category has objects as objects and mappings between those objects as arrows.
Name:
Anonymous2013-08-12 10:36
Monad:a cludge to emulate Imperative languages like C++ which have excellent IO and iteration.
Without a Phd in type theory and extensive knowledge of GHC internals your code will be shit regardless of monads.
Name:
Anonymous2013-08-12 10:42
A monad is like a chicken taco. Chicken figuratively, taco literally.
>>20 definition/explanation of a pointer
Something useless that CPU arch theorists came up with so they can pretend their work has some practical value.
Name:
Anonymous2013-08-13 23:32
definition/explanation of a tape
Something useless that brainfuck engineers came up with so they can pretend their work has some practical value.
Name:
Anonymous2013-08-14 7:30
definition/explanation of a burrito
Something useless that Mexican cooks came up with so they can pretend their work has some practical value.
You guys are going to keep doing this with my thread for about 50 posts until someone gets bored, then have it necro'd in 3 years just to have the cycle continue again, aren't you? This is exactly what you intend to do, am I correct?
Name:
Anonymous2013-08-14 7:38
>>25
No, I intend to tell you to optimize your quotes, cretin.
>>22
definition/explanation of a variable
Something useless that assembler theorists came up with so they can pretend their work has some practical value.
Name:
Anonymous2013-08-14 7:44
>>25
Heh, ``my thread''. I'd have said ``backplate getgoes'' for revealing this newness but you're more tolerable than some of the regulars here, and yes it will be necro'd, many, many times (and no I'm not among the other ones doing it).