Если коротко:
>>Строгая типизация.
до жопы, ибо с клиента чаще всего приходят нетипизированные данные, их все равно надо валидировать и приводить к нужному типу.
>>Быстродействие.
От задачи к задаче вы получите разное быстродействие на разных языках (сарказм по асм поскипан)
>>Язык должен быть компилируемого, а не интерпретируемого типа.
не совсем ясна мотивация, ну да ладно, хозяин барин...
>>Он должен быть кросс-платформенным
основные грабли кроссплатформенных яп - оконный интерфейс, в вебе будет проще, по этому почти любой современный яп подойдет.
>>Он не должен тянуть за собой[поскипано многабукаф]
Все что-то за собой тянет, и объем тянущегося зависит от возраста/развитости платформы, соответственно смотрите в сторону зеленых новичков, получив в придачу сыроватый функционал и слабо развитое коммюнити/доки.
>>Этот язык должен быть стабилен
стабилен в вашей интерпретации - мертв(ибо без изменеий нет развития), либо противоречит предыдущему пункту. Почти любое серьезное обновление ведет к изменениям в коде(и в частности пропадание/появление старых/новых либ нормальный процесс)
>>Язык должен подходить для веб-разработки
Почти все уже адаптировали под веб, ибо народу всегда интересно завести своего уродца под новую задачу (снова поскипан сарказм про асм)
>>Хотелось бы, чтобы синтаксис такого языка был логичен и интуитивно понятен
Бейсик в руки и вперед... Вы же понимаете что для каждого разработчика эти слова несут совершенно разный смысл, что одному логично и красиво - для другого велосипед на костылях...
>>Программа, написанная на таком языке, не должна есть много памяти из-за каких-нибудь там виртуальных машин
ВМ и прочие накладные расходы присущи своей группе языков, кроме прочего они обеспечивают повышение быстродействия в кроссплатформенной среде, часто превосходя по быстродействию даже компилируемые аналоги без ВМ, тут уже выбор будет прирост производительности/потребление памяти (впрочем, это верно и в целом, все крутится вокруг баланса потребления быстрой памяти и приемлемостью скорости обработки данных при снижении лимита ее потребления).
>>Должно быть более-менее легко производить дебаг
Сложнее найти современный язык без таковой возможности...