I’m a poly-paradigm developer, primarily interested in how how type systems can be used as a tool for thought.