Являются ли типизированные функциональные языки быстрее?

Question

Я слышал, что двоичный файл, скомпилированный из типизированных функциональных языков, работает быстрее, чем в других случаях. Это правда?

Если так, то почему? Обычно типизированные языки производят более быстрые двоичные файлы?

Answer 1

Статически типизированный язык может создавать более жесткий и быстрый код, поскольку он не должен выполнять поиск типов при каждой операции. Это верно независимо от того, является ли язык функциональным, процедурным, объектно-ориентированным или императивным.

Answer 2

В общем, причина в том, что типизированные языки работают лучше, потому что вы знаете все о типах во время компиляции, что позволяет компилятору делать определенные оптимизации на основе предположений о типе.

так, в общем ... да, это было бы быстрее ... но, конечно, всегда есть предостережения, когда дело касается перфорации: -)