December 2, 2011
academic type-stuff at uni, plus some post-grad work on category theory. haven't done any real productive beasts in it though.
academic mostly, some post-grad work. mere 1 year commercial exp.
(Normally) catches program logic errors quicker in the development cycle, and leads to code which we can have greater confidence in. Plus, its pretty neat to build DSLs in.
done some academic type-stuff in Haskell, but no only small elegant programs no big production beasts. eager to learn.