# Blog articles/Monads

### From HaskellWiki

< Blog articles(Difference between revisions)

DonStewart (Talk | contribs) (→Monads) |
DonStewart (Talk | contribs) (links to further reading) |
||

Line 32: | Line 32: | ||

* [http://lukeplant.me.uk/blog.php?id=1107301659 What's a monad?] | * [http://lukeplant.me.uk/blog.php?id=1107301659 What's a monad?] | ||

− | + | == Monad transformers == | |

* [http://conway.rutgers.edu/~ccshan/wiki/blog/posts/Monad_transformers.html A twisted history of monad transformers] | * [http://conway.rutgers.edu/~ccshan/wiki/blog/posts/Monad_transformers.html A twisted history of monad transformers] | ||

Line 40: | Line 40: | ||

* [http://scsibug.com/2006/11/28/a-simple-game-with-statet/ A Simple Game with StateT] | * [http://scsibug.com/2006/11/28/a-simple-game-with-statet/ A Simple Game with StateT] | ||

− | + | == Arrows == | |

* [http://kpreid.livejournal.com/7351.html Concatenative programming in Haskell's Arrows] | * [http://kpreid.livejournal.com/7351.html Concatenative programming in Haskell's Arrows] | ||

* [http://abstractabsurd.blogspot.com/2007/04/arrows-security.html Arrows and security] | * [http://abstractabsurd.blogspot.com/2007/04/arrows-security.html Arrows and security] | ||

− | + | == Comonads == | |

* [http://sigfpe.blogspot.com/2007/02/comonads-and-reading-from-future.html Comonads and reading from the future] | * [http://sigfpe.blogspot.com/2007/02/comonads-and-reading-from-future.html Comonads and reading from the future] | ||

* [http://sigfpe.blogspot.com/2006/12/evaluating-cellular-automata-is.html Evaluating cellular automata is co-monadic] | * [http://sigfpe.blogspot.com/2006/12/evaluating-cellular-automata-is.html Evaluating cellular automata is co-monadic] | ||

* [http://gelisam.blogspot.com/2007/04/i-understand-comonads.html Understanding comonads] | * [http://gelisam.blogspot.com/2007/04/i-understand-comonads.html Understanding comonads] | ||

+ | |||

+ | == Further reading == | ||

+ | |||

+ | * [http://haskell.org/haskellwiki/Research_papers/Monads_and_arrows Research papers on monads, comonads and arrows] | ||

+ | * [http://haskell.org/haskellwiki/Category:Monad Wiki articles about monads] | ||

+ | * [http://en.wikibooks.org/wiki/Haskell/Understanding_monads Understanding monads] | ||

+ | * [http://en.wikibooks.org/wiki/Haskell/Advanced_monads Advanced monads] | ||

+ | * [http://en.wikibooks.org/wiki/Haskell/Monad_transformers Monad transformers] |

## Revision as of 00:27, 6 July 2007

## Contents |

## 1 Monads

- The monad laws
- The Trivial Monad
- Tracking tainted data: Homeland Security Threat Level Monad
- Monads: a field guide
- Variable substitution gives a ... monad
- The monad behind every zipper
- Monads for vector spaces, probability and quantum mechanics pt. I
- Monads, Vector Spaces and Quantum Mechanics pt. II
- How to write tolerably efficient optimzation code without really trying...
- Monads from Algebra and the the Gray Code from Groups
- Quick interpreters with the Reader monad
- Monads
- More on Haskell, Side Effects and Code Reuse
- A First Step Into Monads
- More Monads: Stateful Programming
- The theory of monads
- A newbie in Haskell land or another monad tutorial
- A newbie in Haskell land : The (->) monad
- Smart classification using Bayesian monads
- 3 open problems with monads
- Monads in 15 minutes: Backtracking and Maybe
- How to make Data.Set a monad
- Monads work because they have a tight interface
- Haskell: bootstrapping into a clue about monads
- Why monads matter
- Monads through Pictures
- Monads as universe helpers
- Simple state monad
- repeat and sequence
- What's a monad?

## 2 Monad transformers

- A twisted history of monad transformers
- How To Use Monad Transformers
- Local and global side effects with monad transformers
- Grok monad transformers
- A Simple Game with StateT

## 3 Arrows

## 4 Comonads

- Comonads and reading from the future
- Evaluating cellular automata is co-monadic
- Understanding comonads