Pittsburgh, PAUSA 15201
June 13, 2013
I would consider myself an intermediate haskell programmer. I've yet to do any serious type-level programming, and the point of comonads and the yoneda lemma (in Haskell!) eludes me.
Some examples of Haskell in the real world, advances in Haskell as a language and advances in Haskell's libraries (e.g. lens, DPH, Cloud Haskell)
I'm a CMU graduate with an interest in programming language and type theory.