Какой язык стоит изучать для продвинутой Web backend разработки?

Статические языки тяжелы только для тех, кто начинал с динамических языков. После вольницы JavaScript, PHP и даже Python сложно привыкать к дисциплине, диктуемой строгой статической типизацией.

Но, в действительности, ничего сложного там нет - всего лишь самодисциплина.

Для back-end Python не даст никаких новых возможностей, которых нет в PHP.

PHP - абсолютно нормальный язык, в том числе и для высоконагруженных проектов. Проблеме не в языке, а в том, что его надо уметь использовать. И чем больше нагрузка, чем больше требования к квалификации разработчиков.

Но если действительно нужно что-то компилируемое, я бы предложил именно Go: язык простой и логичный. С для back-end подходит очень плохо, а Java - очень большой и не слишком логичный язык.

C/C++ или Rust. Из этих трех, наивысшая скорость и портативность у C, наиболее удобен C++, а наиболее надежен Rust.
То есть: если боишься прогадать, то плюсы это удобное, классическое, и проверенное; если хочешь быть на острие технологий, то раст; а если ты маньяк с заявкой на универсальность, то си.
На этих ЯП пишут не все целиком, а только наиболее ресурсоемкие части продукта (никто у тебя не отберет твой любимый похапэ).
‎
Вот Java, это уже совсем другой зверь... он как раз чаще используется для комплексной реализации, а не для "точечных" оптимизаций. И его преимущества совсем не в скорости (а в масштабируемости и экстремальной декларативности).
Python - вообще не об этом... у него свои задачи, в которых он рулит (AI, Big Data, аналитика в целом).

Имхо: Golang прост и быстр. Он как раз таки позиционирует себя для разработки серверной части.
И не нужно сравнивать Java с C и Go, - от него уже давно отказались везде, где требуется производительность, и все, кому это по карману.

Да и вообще, как то странно сравнивать скриптовые языки с компилируемыми...