Возможен Python со статической типизацией в будущих версиях?

Работаю верстальщиком в небольшой конторе, плюс немного знаю JS(плагин подключить, обработчик написать, в тонкости не вдавался). Как хобби, взялся за программирование, выбрал Python где-то два года назад. За это время поднатаскался с базами данных, даже десктоп пробовал писать на tkinter, делал парсеры. Приступил к Flask, написал небольшой сайт с авторизацией(использовал session). Планирую дальше развиваться в вебе, а именно на backend. Что мне делать дальше: изучать Django или попробовать что-то другое(другой язык)? Популярность Python только растет, но и появились .Net Core, Golang, Rust и др. Насколько эти варианты лучше/хуже, у меня есть сомнения в дальнейшем развитии с Python. Python не идеален. Пока я увидел его следующие проблемы: сложная поддержка от версии к версии(от 2 к 3), скорость работы программ. Не за горами Python 4. Какая там будет совместимость с 3 версией, не придется переписывать части кода и не ухудшится скорость работы? А wasm на Python реален или только на компилируемых языках возможен?

• Применение на Backend
• Применение с WebAssembly У Go тяжелый рантайм, что делает его не пригодным для использования с wasm - это правда? Знатоки, использующие эти две технологии, что скажете? Насколько разные у них сферы?