Обсуждение

с позиции абсолюта языка программирования можно сказать следующее (особенно для детей): абстрактный синтаксис, синтаксическое дерево, глубинная структура и пр. - все это должно крутиться под капотом и программисту-пользователю знать это не нужно, как мне не нужно знать состав салата, чтобы переварить. более важное - это схожесть с ЕЯ, конвертация ЕЯ <-> язык, выполняемая в среде, и функционально-декларативная идеология, взятая из ЕЯ. Все остальное - это протезы для убогих :-). К сожалению, истинность последней фразы станет очевидной только с появлением этого самого языка.

Один мой тезис повторяете (детей сначала учить внешним проявлениям -- то есть предметам мира и ЕЯ, затем глубинную структуру на шаг вглубь -- парадигмы программирования, описание в концептах той или иной парадигмы программирования. Остальное пока под капотом, онтологию программирования учить, когда они уже будут не дети). Один тезис отрицаете: говорите про функционально-декларативное программирование, "которое еще не изобретено", и которого достаточно. Я утверждаю, что не достаточно, и программирование должно быть функционально-декларативно-логическо-императивно-объектным-аспектным-контрактным...

кстати - может быть будет вам интересно - http://www.eclipse.org/Xtext/

Все эти парадигмы не просто так взялись. Я думаю, что императивная парадигма по большей части нужна для низко-уровневой имплементации, т.е. скажем так большинству юзеров особенно не-программеров, ее знать может даже нужды и нет. Функциональная и объектные парадигмы тесно связаны с глубинным человеческим мышлением. В раннем детстве, у ребенка появляются внутренние объекты, прежде всего объект, замещающий мать. Мать является единственным источником ресурсов для существования для младенца и потеря ее хотя бы на время крайне пугает. Для спокойствия психики, у ребенка формируется внутренний объект матери. Это и есть корень объектной иерархии :). Функциональная парадигма связана с диалектической логикой, в которой все воспринимается как процесс. А процесс - это как бы уже функция, а не статический объект.

Я об этом писал: http://ailev.livejournal.com/675572.html

функционально-декларативное программирование изобретено в ЕЯ, но не присутствует в должном объеме ни в одном языке программирования. а именно: если в ЕЯ мы говорим фразу напр. P.A = X.B, то структура концептов A, B, P, X дальше сама трансформирует это в вычислимое или точнее сказать формализованное по вычислимости напр. P.N.A = value.X.B, где N - подобъект А, к которому относится P, а value - операция вычисления на множестве деклативных утверждений, относящихся к X.B. аспекты, контракты, обязательства, это частные случаи A, B, .. , которые фундаментального значения, по моим представлениям, не имеют.

Ну, предложите такой язык, сделайте интерпретатор... Только придется показать, что а) люди будут понимать этот язык более легко, чем другие; б) писать на этом языке в чем-то лучше, чем на других, в) такой язык тьюрингово полон.

работаем над этим потихоньку, и не только языком :-)

С надеждой жду результатов.