I work as a functional programmer and enjoy thinking about expressive type systems, programming language design, and the development of compilers and theorem provers.
(You might also know me by the handle @evertedsphere
or,
previously, @mrkgnao
.)