August 6, 2013
Started learning Scala 1.5 years ago. Currently learning Haskell.
I would like to learn more of the theory behind it all. Category theory and type theory.
Hi. I'm an intern at Red Hat. I got into functional programming starting with Scala in early 2012 and haven't looked back. I'm learning Haskell and category theory, and hope to learn type theory and homotopy type theory at some point.