Maxim
1. Языки программирования — это искусственные формальные языки, созданные для программируемых машин.
2. Деятельность по формализации контента для созданных языков программирования, основывается на естественных языках.
3. Естественные языки неоднородны, и лингвистами различаются принципиально:
— группа естественных аналитических языков;
— группа естественных синтетических языков;
— группа естественных полисинтетических языков;
— и другие.
Т.е. по определению самой лингвистической топологии, представлена существенная разница между этими группами естественных языков. Поэтому деятельность формализации процесса, осуществляющаяся на естественном аналитическом языке, существенно отличается от деятельности формализации этого же процесса, осуществляющегося на естественном синтетическом языке.
В чем сущностное отличие этих групп естественных языков?
Как так вышло историографически для человека, что существуют эти различные группы естественных языков?
Лингвисты не дают ответ на эти вопросы, их предметная область вне антропологического различия группы естественных синтетических языков и группы естественных аналитических языков.
...
> Поэтому деятельность формализации процесса, осуществляющаяся на естественном аналитическом языке, существенно отличается от деятельности формализации этого же процесса, осуществляющегося на естественном синтетическом языке.
Вот это как-то неочевидно, особенно если формальный объект получается один и тот же...