"Something I'm curious about working on is an imperative dependently typed programming language that uses linear types and #TypeTheory to keep the mutation in line. Something I have to admit is that I'm not actually interested in #FunctionalProgramming. I'm simply interested in #types."