да просто это настолько популярный аргумент у мартых - мол зачем мне язык, зачем мне типы, если я пишу any any а пайчарм как то прожевывает это все и связывает
Можно просто добавлять, что раз его/её иде может правильно разрулить типы и сделать правильный анализ его/её продукта мысли, значит никакого динамизма там нет и можно было бы не выёживаться и взять нормальную статически типизированную платформу.