Professional software developer. Armchair philosopher.
Interested in functional and imperative programming languages as well as type systems and programming language design.
Some of my favorite programming languages include:
Python, Clojure, OCaml, C, Haskell
Q&A for professional and enthusiast programmers
Q&A for peer programmer code reviews
Q&A for those interested in logical reasoning