What you say is very true, so cant think why you got downvoted. Compilers are so much easier to write in dialects of ML. Anything that has algebraic data types and pattern matching makes life a lot easier. I think one can save a lot of effort by writing large parts of the compiler in a language that has such support.
