Lapsed theoretical physicist turned programmer. Lapsed C++ programmer turned Haskell programmer. Interested in category theory and functional programming.