Можно написать чудесные компилируемые, статически анализируемые языки, а народ будет всё равно писать бизнес логику на питоне с тестами. Просто потому, что за это платят.
IMHO, это важный момент. Народ пишет на том, на чём писать быстрее. Есть же ещё биологический и социальный аспект во всей этой деятельности. Чем быстрее написал, тем больше шансов обойти конкурентов и забрать себе ресурсы. Жизнь - это вообще куча автокаталитических реакций: чем больше успеваем молекул в свой процесс включить, тем выше шансы что другие не разовьются. Поэтому, одним из свойств чудесного языка, должна быть скорость написания кода и скорость его изменения. А статический анализ в любом случае приложится. В случае Питона этот анализ превратился в неплохой такой бизнес.
Вопрос, поэтому, надо ставить так: можем ли мы сделать статический язык такой, на котором можно будет писать хотя бы с той же скоростью, что и на Питон? Лично я думаю, что это крайне проблематично, потому что у такого языка должны быть мощные средства абстрагирования, и люди будут проваливаться в интеллектуальные игры на уровне типов: типа, я круче, потому что у меня вот типы тут вычурнее и категорнее. Это не плохо, тоже своего рода социальная иерархия, но проблематично, потому что типы стираются в runtime, и никому они за пределами языкового сообщества не интересны. То есть, на языке-то, может быть, и будет писаться проще и быстрее, чем на Питоне, но социальная динамика будет такова, что библиотеки в итоге превратятся в гиперасбтрагированную систему, с которой будет весьма сложно начать быстро работать быстро. При чём, само абстрагирование станет целью, потому как люди хотят мерятся уровнем IQ, а это прекрасный метод.
Поэтому Питон с ЯваСкрипт и будут рулить. А оптимизации и стат. анализ будут завозить по мере необходимости. Линты для ЯваСкрипта, например, уже очень мощные. И, повторюсь, они формируют новый рынок, а это только способствует пропаганде языка.
В общем, как всегда, люди сами себе злобные чебурашки :)
