Real World Haskell's index, slightly embellished

https://secure.flickr.com/photos/41758452@N00/sets/72157631523835353/with/7981353843/

Category Theory is more important than anything (with a few exceptions)

Physicists, topologists, and computer scientists are coming around, which makes the folks on that original Haskell committee look like Fripp and Eno, or maybe Coltrane and Miles and Bill Evans (without the bad habits).  Also makes programming languages except the ones with good type systems (Haskell, ML* family, Scala) look like evolutionary cul-de-sac's (especially dynamic typed (except clojure and erlang) )

Physics, Topology, Logic and Computation: A Rosetta Stone

http://golem.ph.utexas.edu/category/2012/08/categorical_unification.html

 http://golem.ph.utexas.edu/category/2012/06/the_gamification_of_higher_cat.html

---

Related: Dynamic problems fit to semirings and directed hypergraphs, Advanced Dynamic Programming in Semiring and Hypergraph Frameworks (Huang, 2008)