I'm using OCaml to make my own programming language. OCaml is good for programming language implementation because algebraic data types + pattern matching lend themselves naturally to AST manipulation.

I also like OCaml because it is both imperative and functional, so I can use the best of both paradigms.