Я слышал, что бинарный файл, составленный из типизированных функциональных языков, работает быстрее, чем в противном случае. Это правда?Набираются функциональные языки быстрее?
Если да, то почему? Как правило, типизированные языки производят более быстрые двоичные файлы?
статически типизированный язык может производить более жесткие, более быстрый код, потому что ему не нужно выполнять поиск типов при каждой операции. Это верно независимо от того, является ли язык функциональным, процедурным, объектно-ориентированным или императивным.
В общем, причина, по которой типизированные языки работают лучше, - это то, что вы знаете все о типах во время компиляции, что позволяет компилятору сделать определенные оптимизации на основе предположений о типе.
так, в общем ... да, это было бы быстрее ... но, конечно, есть всегда предостережений, когда перфорация обеспокоен :-)