I’m a functional programmer and a programming languages researcher—I delight in building practical tools from meaningful theory to make a positive difference for programmers and for the world.