Существуют современные динамические высокоуровневые языки котороые обладают куда большим функционалом, чем язык с си-подобным синтаксисом, минимумом типов и возможностей, и огромным количеством встроенных функций.
Вижу 2 адекватные альтернативы: python и ruby.
Чтобы кодить на ruby нужно щурить глаза, потому что его придумали японцы. Он немного странноват, и синтаксис рябит всевозможными значками @%>_<o_O^_^. Но не смотря на это язык очень ок.
C python все проще. Он очень и очень приколен лаконичен и чист. Там есть все нормальные типы (хотя они есть во всех высокоуровневых языках кроме пхп лол), очень и очень удобные и компактные конструкции, которые просто смертельно облегчают выполнение повседневных задач рядового кодера. Там есть модули и пространства имен, полноценное ООП (там даже тип объекта это объект типа тип). В python очень заряженная стандартная библиотека на все случаи жизни, и очень много свободных реализаций вещей которых нет в стандартной библиотеке (code.google.com наше фсио)
Для веба на ruby есть один известный фреймверк которые все знают и любят, это ruby on rails. Все просто: MVC ORM шаблоны...
Для веба на python есть несколько фреймверков, выбирай какой больше подходит:
* web.py простенький фреймверк с необходимым минимумом;
* TurboGears -- MVC фреймверк с sqlalchemy в качестве ORM и шаблонами которые должны быть валидными XML документами (поэтому все сайты на TG сверстаны в православном xhtml лол)
* Pylons -- примерно тоже что и TG только с шаблонами все проще
* Django -- очень и очень крутая вещь со своим ORM, своими шаблонами, и своим MVC (там оно называется MTV)
* Zope -- название говорит само за себя: это монструозный жутко сложный фреймверк для создания таких же приложений
кое-где могут быть неточности, потому что я близко знаком только с python/django
