Rust, but I've also spent a significant time thinking in Erlang, OCaml, Racket, and to some extent C. Each somehow shaping my goggles. Sooner or later I want to try thinking in Coq and/or Agda.