В языке программирования prolet, присвоение основано на стреле времени и онтологической чёткости: присвоение — не операция в стиле x = f(), а процесс перехода от действия к сущему, зафиксированный как направленное преобразование во времени:
(%контекст)(уст %переменная)
Это — не синтаксический курьёз.
Это — онтологическая фиксация становления:
💡 Мы живём в мире, где стрела времени всегда направлена в одну сторону. Это означает, что все процессы протекают в одном направлении — вдоль оси времени (даже если процесс обратим).
Поэтому и синтаксис языка должен следовать реальности в духе диалектического материализма.
Это — не просто замечание. Это объективное требование, чтобы язык prolet не просто описывал сущее, а воспроизводил в своей форме саму природу бытия: материю, движение, развитие, необратимость времени.
t.❗ Даже если система «возвращается» в предыдущее состояние — это не возврат во времени, а новый процесс, имитирующий прошлое.
💬 Форма языка — не статична, а процессуальна. Как материя в движении, так и код в prolet — развивается во времени.
Код читается и выполняется слева направо, сверху вниз — как поток практики.
Операции отражают движение от причины к следствию.
Нельзя использовать то, чего ещё не было. Синтаксис запрещает ссылки на будущее.
(// Фиксированный результат, изменяемость определяется в
сигнатуре вызова, по необходимости можно усилить требования,
но не ослабить по Бертрану Мейеру)
(ПолучитьДанные)(уст данные)
(ГруппироватьПо данные ключ)(уст группа)
(СуммироватьПо данные группа)(уст результат)
💡 Нет «выражений, вычисляемых в параллель без указания порядка». Порядок — не подразумевается, а фиксируется. Параллельность допустима только в разных частях пространства.
Разберём досконально.
Форма:
(%выражение)(уст %имя)
или
(// Если возвращает @изм -- можно усилить требования,
но не ослабить)
(Выражение)(уст имя @фикс)
( ... )
✅ Всё — одно выражение, отражающее процесс становления.
(ПолучитьДанные)
Это — вызов, процесс, действие во времени.
Он ещё не сущее, но источник сущего.
уст — стрелка времениУказывает направление:
✅ Допустимо, потому что:
Переменная @фикс — исторический факт, неизменяемый после присвоенияПеременная @изм — рабочая величина, допускающее последующие изменения💡 Это — не тип, а статус существования во времени.
Пример: данные, группа, результат
💡 Имя — не метка памяти, а обозначение зафиксированного сущего.
(ПолучитьДанные)(уст данные @фикс)
(// Результат процесса 'ПолучитьДанные' становится сущим,
именуется 'данные', и далее считается завершённым, неизменяемым фактом)
(СуммироватьПо данные группа)(уст результат)
(// Результат процесса 'СуммироватьПо' становится сущим,
именуется 'результат', но может быть изменён в будущем)
(выражение)(уст имя @изм) или (выражение)(уст имя) без изменяемости@фикс — создаёт факт@изм — создаёт изменяемую величинууст — стрела времени, отражает переход от действия к сущему:=, =, <-, -> . Только уст как отражение реального потока времени в одну сторону@фикс нельзя переопределять;@изм — можно, если сигнатура вызова определяет изменяемость результата.(прц ОбработатьДанные () РезультатОк @фикс(
(ПолучитьДанные)(уст данные @фикс)
(если (ПроверитьДанные данные)
тогда (вернуть РезультатОшибка "нет_данных"))
(ГруппироватьПо данные ключ)(уст группа @фикс)
(СуммироватьПо группа)(уст результат)
(ДобавитьМетаданные результат)(уст результат)
(вернуть РезультатОк результат)
)
)
@фикс — для завершённых фактов.@изм — для рабочих величин, допускающих развитие.Язык prolet следует диалектическому материализму:
уст — не оператор, а символ времени, отражающий:
💡 «Как руда не становится сталью сама по себе, а только в ходе движения производственных процессов, через присвоение формы полезного ресурса руде, так и значение не становится сущим без фиксации».
Язык установил онтологически чистую форму присвоения:
prolet — не язык программирования, а язык фиксации процесса во времени.
(действие)(уст имя @фикс) — это не присваивание, это — акт фиксации сущего во времени.
Нет места для x = f(). Есть только (f)(уст x) — как протокол становления.
✅ «Код в prolet — не набор инструкций, а запись практики, зафиксированной в единстве материи и движения».
Описанная семантика вводит в язык диалектику бытия и становления:
Каждое присваивание — это момент в истории системы, и эта история не может быть стёрта, она может только изменить форму бытия.
Это — язык не для «вычисления», а для практического преобразования мира. Именно такой язык нужен для построения надёжных, осознанных, этичных систем.