Difference between revisions of "Blog articles/Monads"
Jump to navigation
Jump to search
DonStewart (talk | contribs) (→Monads) |
DonStewart (talk | contribs) (→Monads) |
||
| Line 12: | Line 12: | ||
* [http://sigfpe.blogspot.com/2007/06/monads-from-algebra-and-the-gray-code.html Monads from Algebra and the the Gray Code from Groups] |
* [http://sigfpe.blogspot.com/2007/06/monads-from-algebra-and-the-gray-code.html Monads from Algebra and the the Gray Code from Groups] |
||
* [http://sigfpe.blogspot.com/2006/06/monads-kleisli-arrows-comonads-and.html Monads, Kleisli Arrows, Comonads and other Rambling Thoughts] |
* [http://sigfpe.blogspot.com/2006/06/monads-kleisli-arrows-comonads-and.html Monads, Kleisli Arrows, Comonads and other Rambling Thoughts] |
||
| + | * [http://sigfpe.blogspot.com/2007/11/io-monad-for-people-who-simply-dont.html The IO Monad for People who Simply Don't Care] |
||
* [http://cgi.cse.unsw.edu.au/~dons/blog/2006/12/11#interpreters-with-reader-monads Quick interpreters with the Reader monad] |
* [http://cgi.cse.unsw.edu.au/~dons/blog/2006/12/11#interpreters-with-reader-monads Quick interpreters with the Reader monad] |
||
* [http://hierodule.livejournal.com/69052.html Monads] |
* [http://hierodule.livejournal.com/69052.html Monads] |
||
Revision as of 00:38, 9 December 2007
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
- Monads, Kleisli Arrows, Comonads and other Rambling Thoughts
- The IO Monad for People who Simply Don't Care
- 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
- Monads! (and Why Monad Tutorials Are All Awful)
- Monads as computation
- Monads are hard to teach
- Haskell State Accessors (second attempt: Composability)
- Beginning with monads
- Learning about (Computational) Monads
- Overloading Semicolon, or, monads from 10,000 Feet
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
- My Evolution as a Haskell Programmer: Factorial with Arrows
- Arrows and security
- Arrows first encounter
Comonads
- Comonads and reading from the future
- Evaluating cellular automata is co-monadic
- Understanding comonads
Applicative Functors
Nobody has written blog articles on applicative functors - so how about a functional pearl:
- [www.soi.city.ac.uk/~ross/papers/Applicative.pdf Applicative Programming with Effects]