changeset 1456:37224e24f539

<monqy> rm wisdom/monad-tutorials
author HackBot
date Sat, 12 Jan 2013 01:22:30 +0000
parents 76a59efb4389
children 7c07b0ee52b6
files wisdom/monad-tutorials
diffstat 1 files changed, 0 insertions(+), 19 deletions(-) [+]
line wrap: on
line diff
--- a/wisdom/monad-tutorials	Sat Jan 12 01:22:26 2013 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,19 +0,0 @@
-Monads are a bucket brigade with project managers.
-Monads are like burritos.
-Think of a monad as a spacesuite full of nuclear waste in the ocean next to a container of apples. now, you can't put oranges in the space suite or the nucelar waste falls in the ocean, but the apples are carried around anyway, and you just take what you need.
-All space stations must put their astronauts into space suits before sending them out.
-Monads are just monoids in the category of endofunctors.
-Monads are like when you and a friend are trying to have a conversation about a mutual friend.
-Monads are like overloading the semicolon.
-class Monad m where ; (>>=) :: forall a b. m a -> (a -> m b) -> m b ; (>>) :: forall a b. m a -> m b -> m b ; return :: a -> m a ; fail :: String -> m a
-Actually, programming monads is much like cattle driving!
-Monads can be used like adapters (the adapter pattern) in OOP.
-A Monad is a class with a private field.
-A monad is just a label that you stick onto a value to tell the compiler it's not a pure functional value.
-I think of monads as computational environments in which you get to make up the rules.
-Monads are monsters which can devour values and yield them up when slain.
-A monad is like a 'macro': All it does is a code-transformation.
-A monad is like putting a value in a box.
-A monad is a container type together with a few methods defined on it. Monads model different kinds of computations.
-Meet Bob, the Monadic Lover.
-Monads are like monad tutorials.