Berkeley, CAUSA 94704
December 10, 2013
Not very. I have some grasp of the basics (i.e. I can make sense of "A monad is just a monoid in the category of endofunctors"), but am seriously lacking of a systematic approach.
Lots of "here-and-there" reading on the interwebs; skimmed through Pierce's Types & Programming Languages book.
Some LISP (Scheme and Emacs lisp) awhile back, lots of Scala, some Haskell.
A programming languages enthusiast, with a strong interest in type theory and functional languages (esp. Scala and Haskell).