Машины Тьюринга и Поста, Цепи Маркова, Частично-рекурсивные функции, Теория авоматов, Лямбда-исчисление, Пи-исчиесление, Комбинаторы, Алгебраические типы, Реляционная теория, Теория категорий, Сети Петри, Логические продукции, Трансформация графов ... неполный перечень абстракций, которые сопровождают разные реализации компьютерных систем.
Машинный код - Ассемблер - Макроассемблер (Форт, синтаксический конструктор) - АПЛ (массив) - Лисп (список, коннекция) - Пролог (БД, продукция) - Смолтолк (GUI для объекта) - Эрланг (закрытие темы параллельных процессов) ... Ряд раличных реализаций компьютерных систем, которые, собственно, являются предметом этих абстракций.
Веб ... Конкурентность ... Смартконтракты ... Социальные сети ... Интернет вещей - новая виртуальная реальность ... и желание всю эту практику, аключая саму практику абстрагирования свести к единому формализму и в одной конвенциональной лексике ...
Можно такое сделать? Не просто можно, а неизбежно так будет сделано, если конструируется система взаимодействия ... модели акторов, интерпретаторов которые интерпретируют сообщения, генерируют их и трансформируют. Все это модели и их выражения - код и данные ... и абсолютные аналогии наверху "семантического дифференциала" ... Это можно продемонстрровать, но аргументом, опять же, может быть только эффективная компьютерная система, интегрирующая другие ... И трудно выбрать линию, которая наиболее адекватна некоторым собственным текущим представлениям, среду, которую можно использовать для дальнейшей эволюции ... Когда я начинал осознанно путь выбора, то это были ограничения типа - только не C/C++ или Java, только не Oracle или Макинтош (Apple) и только не Linux, оправдываясь, с одной стороны, неубедительной практикой их представителей, а с другой, неприятием их амбиций, предавших традиции IBM и AT&T (Unix). Я активно использую продукцию Microsoft и Google, но не потому, что она лучше, а скорее из сложившихся обстоятельств и отсутствием альтернатив.
Короче, круг пунктов интерполяции стал активно сужаться, благодаря новым проектом и активизацией некоторых старых ... Vlang, Zig ... Pantom OS, UNISON, FML ... Flatassembler, ASON AltScript (Rebol), Tiddlywikik ... WebAssembly, JavaScript ... К этому вот теперь прибавился новый список, в котором интенция - Clean. Недавно один из его апостолов защитил докторскую диссертацию, что похоже на маркетинговых ход и из чего я делаю вывод, что надо будет ожидать что-то типа rust-овского бума для этого проекта, его реинкарнацию ...
P.S. Хочу обратить внимание, что все системы как надстройки над аппаратурой, по сути одинаковы, только в разной степени развиты ... основная проблема в описании самих систем, которые должны либо описывать сами себя, то есть быть интуитивно транспарентными, либо их авторы и разработчики должны нам просто показать архитектуру организации памяти, терминологический граф своей системы и продемонстрировать его подграфы, которые являются переходами ... акцентируя контейнеры и их содержимое, то есть делая акцент не на синтакисе, а на, собственно, свои модели. Ещё раз утверждаю, что парадигм программирования не существует! Есть синтаксические игры и пустые дискуссии вокруг них. Комитеты по стандартизации - это манекены, которые не проводят никакого анализа на транпорентность и аналогию. Может нужен какой-то общественный, открытый комитет, типа для открытого компьютерного оеспечения? Для анализа новых спецификаций, экспертизы новых определений на их чистоту. Типа общественного патентного биро, только с уклоном не в серификацию качества типа хорошо или плохо, правильно или неправильно, а детализируя параметры ... что, опять же, по сути терминологический граф с выдеением подграфов, осущствлящих генерацию и трансформацию. Просто и понятно! Да, плюрализм! У формата сообщения может быть несколько интерпретаторов, а один интерпретатор способен реагировать на разные форматы! Но сначала это надо дифференциировать, прежде чем интегрировать. И в основе всего этого "стрелка" или, что тоже самое "пара", как минимальная структура!
