Haskell and C++ engineer with over 10 years’ experience. I love all things mathematical, functional, algebraic, category/set theory etc…