View source for Blog articles/Monads

== Monads ==

* [http://cale.yi.org/index.php/The_Monad_Laws The monad laws]
* [http://sigfpe.blogspot.com/2007/04/trivial-monad.html The Trivial Monad]
* [http://sigfpe.blogspot.com/2007/04/homeland-security-threat-level-monad.html Tracking tainted data:  Homeland Security Threat Level Monad]
* [http://sigfpe.blogspot.com/2006/10/monads-field-guide.html Monads: a field guide]
* [http://sigfpe.blogspot.com/2006/11/variable-substitution-gives.html Variable substitution gives a ... monad]
* [http://sigfpe.blogspot.com/2007/01/monads-hidden-behind-every-zipper.html The monad behind every zipper]
* [http://sigfpe.blogspot.com/2007/02/monads-for-vector-spaces-probability.html Monads for vector spaces, probability and quantum mechanics pt. I]
* [http://sigfpe.wordpress.com/2007/03/04/monads-vector-spaces-and-quantum-mechanics-pt-ii/ Monads, Vector Spaces and Quantum Mechanics pt. II]
* [http://sigfpe.blogspot.com/2007/06/how-to-write-tolerably-efficient.html How to write tolerably efficient optimzation code without really trying...]
* [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/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://hierodule.livejournal.com/69052.html Monads]
* [http://neilbartlett.name/blog/?p=13 More on Haskell, Side Effects and Code Reuse]
* [http://scienceblogs.com/goodmath/2007/01/haskell_a_first_step_into_mona_1.php A First Step Into Monads]
* [http://scienceblogs.com/goodmath/2007/01/more_monads_stateful_programmi_1.php More Monads: Stateful Programming]
* [http://scienceblogs.com/goodmath/2007/01/the_theory_of_monads_and_the_m_1.php The theory of monads]
* [http://www.alpheccar.org/en/posts/show/60 A newbie in Haskell land or another monad tutorial]
* [http://www.alpheccar.org/en/posts/show/61 A newbie in Haskell land : The (->) monad]
* [http://www.randomhacks.net/articles/2007/03/03/smart-classification-with-haskell Smart classification using Bayesian monads]
* [http://www.randomhacks.net/articles/2007/03/05/three-things-i-dont-understand-about-monads 3 open problems with monads]
* [http://www.randomhacks.net/articles/2007/03/12/monads-in-15-minutes Monads in 15 minutes: Backtracking and Maybe]
* [http://www.randomhacks.net/articles/2007/03/15/data-set-monad-haskell-macros How to make Data.Set a monad]
* [http://www.sdowney.org/2007/01/monads-rest-and-c-template.html Monads work because they have a tight interface]
* [http://www.serpentine.com/blog/2007/01/09/haskell-bootstrapping-into-a-clue-about-monads/ Haskell: bootstrapping into a clue about monads]
* [http://www.rfc1149.net/blog/2007/03/06/why-monads-matter/#more-110 Why monads matter]
* [http://www.bolour.com/papers/monads-through-pictures.html Monads through Pictures]
* [http://gelisam.blogspot.com/2006/10/monads-as-universe-helpers.html Monads as universe helpers]
* [http://therning.org/magnus/archives/215 Simple state monad]
* [http://therning.org/magnus/archives/269 repeat and sequence]
* [http://lukeplant.me.uk/blog.php?id=1107301659 What's a monad?]
* [http://comonad.com/reader/2007/parameterized-monads-in-haskell/ Parameterized Monads in Haskell]
* [http://ahamsandwich.wordpress.com/2007/07/26/monads-and-why-monad-tutorials-are-all-awful/ Monads! (and Why Monad Tutorials Are All Awful)]
* [http://www.haskell.org/haskellwiki/Monads_as_computation Monads as computation]
* [http://davblog48.blogspot.com/2007/08/monads-are-hard-to-teach.html Monads are hard to teach]
* [http://luqui.org/blog/archives/2007/08/05/haskell-state-accessors-second-attempt-composability/ Haskell State Accessors (second attempt: Composability)]
* [http://www.bofh.org.uk/articles/2007/08/07/monads Beginning with monads]
* [http://dailykibitz.blogspot.com/2007/08/learning-about-computational-monads.html Learning about (Computational) Monads ]
* [http://osteele.com/archives/2007/12/overloading-semicolon Overloading Semicolon, or, monads from 10,000 Feet]
* [http://mvanier.livejournal.com/3917.html Yet Another Monad Tutorial]

== Monad transformers ==

* [http://conway.rutgers.edu/~ccshan/wiki/blog/posts/Monad_transformers.html A twisted history of monad transformers]
* [http://cale.yi.org/index.php/How_To_Use_Monad_Transformers How To Use Monad Transformers]
* [http://sigfpe.blogspot.com/2006/09/local-and-global-side-effects-with.html Local and global side effects with monad transformers]
* [http://sigfpe.blogspot.com/2006/05/grok-haskell-monad-transformers.html Grok monad transformers]
* [http://scsibug.com/2006/11/28/a-simple-game-with-statet/ A Simple Game with StateT]

=== Continuation monads ===

* [http://therning.org/magnus/archives/306 Continuing with Continuations]

== 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://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://www.drmaciver.com/2007/08/playing-with-arrows/ Playing with Arrows]
* [http://onthebalcony.wordpress.com/2007/02/19/my-evolution-as-a-haskell-programmer/ My Evolution as a Haskell Programmer: Factorial with Arrows]
* [http://monadicheadaches.blogspot.com/2007/12/arrows-first-encounter.html Arrows first encounter]

== Comonads ==

* [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://gelisam.blogspot.com/2007/04/i-understand-comonads.html Understanding comonads]

== Applicative Functors ==

Nobody has written blog articles on applicative functors - so how about a functional pearl:

* [http://www.soi.city.ac.uk/~ross/papers/Applicative.pdf Applicative Programming with Effects]

== 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]