Bardzo długo myślałem o tym pytaniu, ale naprawdę nie mogłem znaleźć odpowiedzi w Google, podobnie jak podobne pytanie w Stackoverflow. Jeśli istnieje duplikat, przepraszam za to.
Wiele osób zdaje się mówić, że pisanie kompilatorów i innych narzędzi językowych w językach funkcjonalnych, takich jak OCaml i Haskell, jest znacznie bardziej wydajne i łatwiejsze niż pisanie ich w językach imperatywnych.
Czy to prawda? A jeśli tak - dlaczego pisanie ich w językach funkcjonalnych jest tak wydajne i łatwe, a nie w języku imperatywnym, takim jak C? Ponadto - czy narzędzie językowe w języku funkcjonalnym nie jest wolniejsze niż w jakimś języku niskiego poziomu, takim jak C?