Dmitry Ponyatov
Так что нужны хотя бы языки с контролем типов и обращений с памятью, ещё лучше эрланговский подход с полиморфными функциями, которые в рантайме каждый пакет данных и вызов проверяют на правильность структуры и типа.
В питон завезли compile-time проверки типов, но согласен, динамическая типизация требует 100% покрытия кода тестами. С другой стороны, индустрия движется в сторону хипстерских технологий, АРМы на спейсиксовских драгонах, например, это chromium и JS-код, и они как то не парятся, их подход - it's works