Моноид
sergey shishkinОн же АТОМ, ЭЛЕМЕНТ, СИМВОЛ, ТЕРМИН, ПРЕДИКАЦИЯ ...
В концепции переписывания трансформаторы (активные объекты, операции, операторы, команды, макросы, инструкции, алгоритмы, процедуры, функции, функторы) отвечают за интерпретацию и по сути интерпретаторы (локальные или внешние сервисы!), которые анализируют строку (параметризуют, протоколируют, форматируют, десериализуют) и отвечают за приведение "типов" для реализации своей функциональности. Соответственно, это либо выполнение без возвращения или возвращение трансформируемой строки. Применение подразумевает знание "входа и выхода" этих "черных ящиков", что помогает и на стадии проектирования.
Таким образом решается проблема динамического и аккуратного прототипирования, а по сути концептуализации (определения, классификации, категоризации, тегирования) с одной стороны и единообразного синтаксиса. Если интерфейс позволяет генерировать слоты, помещение строк в которые автоматически размещает их в памяти, определяя размеры при вводе, то нам не требуются скобки и разделители. При описании структуры достаточно двоеточия между слотами и пробелов между "токенами (терминами) строк" ...
Если функция что-то возвращает, то необходим регистр для буферизации результата. Мы не можем изменить наименование функции (параметра), при интерпретации таких функций, имена которых могут встречаться в предикациях, с ними ничего не происходит, мы работает в общем смысле здесь с объектной парадигмой и при исполнении "местом" для результирующей строки может и должно быть то же, что и для входящей строки. То есть функция работает, фактически, со стеком, а куча у нас для общей структуры. При локализации для трансформации строка клонируется и остается в общей структуре, а замещается в локальном пространстве активного объекта.
Фактически мы имеем один и тот же формат для описания структуры и для описания и применения функции. МОНОИД : МОНОИД (сопряженная пара). Описание функции (активного объекта) происходит при структурировании сети модели, при генерализации активного объекта, в его контексте, а обращение к этому функциональному объекту происходит в другом контексте. Таким образом достигается баланс между глобальными и локальными параметрами в едином пространстве имён (см. архитектуру Tiddlywiki). Уникальными являются только имена объектов, которые в свою очередь тоже могут быть отредактированы, но специальной функцией редакции, алгоритм которой должен учитывать связи объекта и, соответственно, отреагировать.
Опять же, абсолютно четко концептуализируется дефиниция как процесс сопряжения, компарации. Действительно, мы не можем, определяя что-то, это что-то не связать с чем-то другим. У нас на базовом уровне может не быть ключевых слов, терминальных символов, но ключевой парадигмой является процесс (операция) "спаривания" двух элементов. То есть определение элемента всегда сопровождается связыванием его с чем-то, например, с адресом (или типом, определяя в этих традициях) или другим элементом, интерпретатором. В нашей концептуальной системе может быть один базовый тип - строка, связанная неявно с её размером для аккуратного распределения памяти.
https://telegra.ph/KENTAVR-09-25