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