Ho pensato a questa domanda da molto tempo, ma davvero non sono riuscito a trovare la risposta su Google e una domanda simile su Stackoverflow. Se è presente un duplicato, mi dispiace.
Molte persone sembrano dire che scrivere compilatori e altri strumenti di linguaggio in linguaggi funzionali come OCaml e Haskell sia molto più efficiente e più facile che scriverli in linguaggi imperativi.
È vero? E se è così, perché è così efficiente e facile scriverli in linguaggi funzionali invece che in un linguaggio imperativo, come il C? Inoltre, uno strumento linguistico in un linguaggio funzionale non è più lento di un linguaggio di basso livello come il C?