This is the most clear explanation for what I enjoy about the Haskell community I've ever read. I am utterly addicted to Conor McBride's [1] work as well since

This is the most clear explanation for what I enjoy about the Haskell community I've ever read. I am utterly addicted to Conor McBride's [1] work as well since he's doing the incredible thing of answering semi-practical questions with deep dependent typing theory. I also think Gabriel Gonzalez's [2] writing has the right ideas as he tries to explain the feeling and heuristic of using categorical and functorial design while also writing a very beautiful library [3]. I also really can't get away without mentioning Edward Kmett[4], Conal Elliott[5], and Edward Z. Yang[6] for writing both blog posts and code expanding on the practical advantages of theoretical methods. [1] https://personal.cis.strath.ac.uk/conor.mcbride/ https://personal.cis.strath.ac.uk/conor.mcbride/ further work available extensively at StackOverflow, user Pigworker (http://stackoverflow.com/users/828361/pigworker http://stackoverflow.com/users/828361/pigworker) and you should definitely attempt to read Kleisli Arrows of Outrageous Fortune if you're interested in some dependently typed madness. [2] http://www.haskellforall.com/ http://www.haskellforall.com/ and especially http://www.haskellforall.com/2012/09/the-functor-design-pattern.html http://www.haskellforall.com/2012/09/the-functor-design-patt... [3] http://hackage.haskell.org/package/pipes-2.5.0 http://hackage.haskell.org/package/pipes-2.5.0 [4] http://comonad.com/reader/ http://comonad.com/reader/ [5] http://conal.net/ http://conal.net/ [6] http://ezyang.com/ http://ezyang.com/