Язык должен быть компилируемого, а не интерпретируемого типа.
Он должен быть кросс-платформенным (windows, linux) и не вызывать проблем при работе ни на том, ни на другом.
Почему?
Современные интерпретируемые java и python, да и php уже догоняет уже не совсем интерпретируемые, и используют jit компиляцию. По скорости уже вполне норм.
Он не должен тянуть за собой тонны легаси и проприетарщины просто для работы, должен быть более-менее независимым.
Тонны легаси и проприетарщины тянет не язык, а программист.
Судя по вашим требованиям и оверхед подходу к выбору языка, вы только ТЗ будете писать месяцами. А к тому моменту, как вы выпустите в продакшн само прилжение, оно уже станет легаси.
Программа, написанная на таком языке, не должна есть много памяти из-за каких-нибудь там виртуальных машин, не должна течь и вообще должна занимать ровно столько памяти, сколько ей нужно.
А как зависит "течь" от языка? Это зависит от криворукости программиста.
Должно быть более-менее легко производить дебаг, в том числе желательно и удалённый.
То есть программа не должна есть много памяти, но при этом легко производить удаленный дебаг?
Быстродействие. Не то, что бы у меня хай-лоад, но я хочу, чтобы быстродействие моего кода больше зависело от меня, нежели от языка.
Быстродействие всегда и зависит от программиста..
Вообще, может быть рассмотрите ассемблер? На нем даже веб сервер уже есть написанный, и стандарты в нем есть, и компилируемый, и программа в нем точно занимает ровно столько, сколько вы ей дали.
