что значит быстрый язык :(

Оптимизируйте то, что тормозить будет, а не всё сразу.

Haskell (Rewrite rules, которые уже написаны за Вас. Но можно и свои добавить.)

Вот, пишут, что OCaml-TLS выдает 75-85% производительности OpenSSL на передаче данных. Не так плохо для языка высокого уровня

наличие хаскеля как языка сомнительна не говоря и про его применения в построении компиляторов.

можно взять топ языков поновее и посмотреть на чём написаны их компиляторы, годная метрика?

почему?

Тот, на котором Вам скажет писать начальник проекта.

При написании компилятора (как и многого другого) важнее модульность, ИМХО, иначе сам же запутаешься и завязнешь в лапше, так и не доведя проект до работоспособности. Haskell позволяет дёшево (в смысле затрат собственного времени) обеспечить очень высокий уровень модульности и композабельности через стеки монад/свободные монады/final tagless. OCaml позволяет добиться сравнимых результатов за счёт первоклассных модулей и функторов между ними.

Но если всё, что Вы знаете — это ООП, то всё это великолепие, конечно, не релевантно...

Вот тут народ из раст сообщества обсуждают какой бы скриптовый ЯП выбрать как встраеваемый в Rust проект. Обсуждаются очень многие проекты написанные как раз на Rust, но почему то больше всех поразила скорость компиляции AssemblyScript который написан на TS (считай javascript)

https://users.rust-lang.org/t/recommendations-on-an-extension-language/42494/15
https://users.rust-lang.org/t/recommendations-on-an-extension-language/42494/20

потому что непонятно зачем нужен функциональный язык с сильными типами, но при этом без нормальных рекордов и отсутсвием refinement и dependent типов.

О, снова Rust. Давно не было

а в расте прям с refinement и dependent типами всё нормально?

нет. но на нем можно писать низкоуровневые высокопроизводительные нетребовательные к памяти приложения.

зачем?

у хаскеля эта опция отсутсвует

Опа, реклама пошла

Хорошо

Сейчас будет срач

Как обычно. Ничего нового