# Difference between revisions of "Blog articles/Monads"

From HaskellWiki

DonStewart (talk | contribs) (→Monads) |
DonStewart (talk | contribs) (→Arrows) |
||

Line 49: | Line 49: | ||

* [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] |
||

+ | * [http://cgi.cse.unsw.edu.au/~dons/blog/2007/07/31 Run length encoding in Haskell] |
||

+ | * [http://neilbartlett.name/blog/2007/08/01/haskell-explaining-arrows-through-xml-transformationa/ Haskell: Explaining Arrows through XML Transformations] |
||

+ | * [http://unenterprise.blogspot.com/2007/08/playing-with-arrows.html Playing with Arrows] |
||

== Comonads == |
== Comonads == |

## Revision as of 00:15, 2 August 2007

## Contents

## 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?
- Parameterized Monads in Haskell

## 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

### Continuation monads

## Arrows

- Concatenative programming in Haskell's Arrows
- Arrows and security
- Run length encoding in Haskell
- Haskell: Explaining Arrows through XML Transformations
- Playing with Arrows

## Comonads

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