[rlm]

I think that ML has some features (such as pattern matching) that makes it a better fit for writing a compiler than Java or C.