sigfpe: Monads, Kleisli Arrows, Comonads and other Rambling Thoughts

Posted on November 6, 2007 by Tommy McGuire
Labels: notation, math, programming language
This is one of the best discussions of monads (and comonads) I have read.

Oh, and this is pretty neat, too. (Cellular automata in about four (ok, 20 or 30; but only a few are important) lines of code.)
active directory applied formal logic ashurbanipal authentication books c c++ comics conference continuations coq data structure digital humanities Dijkstra eclipse virgo electronics emacs goodreads haskell http java job Knuth ldap link linux lisp math naming nimrod notation OpenAM osgi parsing pony programming language protocols python quote R random REST ruby rust SAML scala scheme shell software development system administration theory tip toy problems unix vmware yeti
Member of The Internet Defense League
Site proudly generated by Hakyll.