язык для веб программирования

> то есть изучив Си, можно писать на Паскале. Нет, нелогично. А !!! понял! изучив Паскаль, можно писать на ассемблере ! нет, опять не так. Во ! изучив ассемблер, можно писать на ассемблере !

Глупыш. Эквивалентность Си, Паскаля и ассемблера я понял на интуитивном уровне еще в предпоследнем классе школы, без всякой теоретической подготовки. Чтобы начать писать на Си после Паскаля, мне потребовалось всего дня 3-4 (прочитал два раза какую-то книженцию). Естественно, приходилось честенько в help лазить за описанием библиотечных функций.

>Стековые макроязыки (семейство Форта) 
А что, кто-то сейчас всерьез воспринимает этот язык?
Ах да, это же язык четвертого поколения!
намного круче всяких там ассемблеров, Си и Паскалей вместе взятых! 
Что-то я не наблюдаю программ, написанных на нем 
(есть смутные догадки, что это из-за того, что читабельность никакая,
да и других заморочек хватает типа обратной польской записи). 


Что, никогда не видел FreeBSD? Когда встретишь, присмотрись к:

$ man loader

...
     The program called loader is the final stage of FreeBSD's kernel boot-
     strapping process.  On IA32 (i386) architectures, it is a BTX client.  It
     is linked statically to libstand(3) and usually located in the directory
     /boot.

     It provides a scripting language that can be used to automate tasks, do
     pre-configuration or assist in recovery procedures.  This scripting lan-
     guage is roughly divided in two main components.  The smaller one is a
     set of commands designed for direct use by the casual user, called
     "builtin commands" for historical reasons.  The main drive behind these
     commands is user-friendliness.  The bigger component is an ANS Forth com-
     patible Forth interpreter based on FICL, by John Sadler.
...

> - Dataflow

Шо це таке?

> - Конечные автоматы (всякие там flex-ы с bison-ами сюда же попадают)

Вообще говоря, flex - это генератор лексических анализаторов на основе регуларных грамматик, а bison - генератор, соотвественно, синтаксических на основе грамматик контекстно свободных (LR(1) подмножества, если я еще что-то помню). Соотвественно, "языки" там - смесь представления грамматики с целевым языком генерации (для сайд-эффектов)

> - Подстановочные (Tcl, Javascript, Awk, ...)

Подстановочные чего куда? И что у этих трех языков, вообще, общего? (Tcl я как-то никогда не собрался посмотреть, Javascript - вполне себе обычный императивный язык с динамической типизацией, основанной на прототипах объектной системой, awk - вообще, грубо говоря, подмножество перла ;)