Как создавать языки программирования: идеальная модель

В статье рассматривается феномен языков программирования, которые в настоящее время служат важнейшими инструментами разработки компьютерных программ. Вводится и обосновывается трехуровневая модель языков программирования, состоящая из научного, технологического и социального измерений. Подробно рассматриваются основные этапы создания и существования языка в аспекте указанных трех измерений. Делается вывод о важности учета всех этих аспектов в процессе проектирования новых языков.
Предлагаемая статья задумана как первая в серии публикаций, рассматривающих феномен языка программирования с различных аспектов. В последующих статьях предполагается обсудить базовые требования к «идеальному» языку, принципиальные технологические аспекты его реализации, направления его социального бытования, а также влияние новых технологий, прежде всего ИИ, на различные аспекты проектирования и использования языков.