Haskell comes to Scala
I'm enjoying a Scala conference. Lots of talks that mention various constructions of category theory, and one talk used dependent types to validate foreign keys in databases. Even a keynote talk had slides about "natural transformations" and "Kleisli arrows". It seems that lots of people from the Haskell community have found day jobs doing Scala and can't help bringing their category-theoretic reflexes to bear on their work. Very exciting!