He estado pensando en esta pregunta por mucho tiempo, pero realmente no pude encontrar la respuesta en Google y una pregunta similar en Stackoverflow. Si hay un duplicado, lo siento.
Mucha gente parece decir que escribir compiladores y otras herramientas de lenguaje en lenguajes funcionales como OCaml y Haskell es mucho más eficiente y fácil que escribirlos en lenguajes imperativos.
¿Es esto cierto? Y si es así, ¿por qué es tan eficiente y fácil escribirlos en lenguajes funcionales en lugar de en un lenguaje imperativo, como C? Además, ¿una herramienta de lenguaje en un lenguaje funcional no es más lenta que en un lenguaje de bajo nivel como C?