You would be surprised how the logic for a c compiler is pretty densely compressed, even in C code. You don't actually gain too much by switching to haskell or ocaml (I have done experiments).