Type systems, pure functional programming, and generative art. During the day, I'm a compiler engineer working on the OCaml compiler at Jane Street. In a past life, I got a PhD in programming languages with Stephanie Weirich at UPenn. (he/him/his)