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