changeset 1441:b2da99b2e4e0

<GreyKnight> mv wisdom/monad_tutorials wisdom/monad-tutorials
author HackBot
date Sat, 12 Jan 2013 01:02:18 +0000
parents 0c2527f959be
children e9ff587f67b5
files wisdom/monad-tutorials wisdom/monad_tutorials
diffstat 2 files changed, 8 insertions(+), 8 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/wisdom/monad-tutorials	Sat Jan 12 01:02:18 2013 +0000
@@ -0,0 +1,8 @@
+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
--- a/wisdom/monad_tutorials	Sat Jan 12 01:01:55 2013 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,8 +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