prolet/docs/prolet-013.md

Присвоение результатов как диалектическое отражение времени

В языке программирования prolet, присвоение основано на стреле времени и онтологической чёткости: присвоение — не операция в стиле x = f(), а процесс перехода от действия к сущему, зафиксированный как направленное преобразование во времени:

(выражение) -> @фикс переменная

Это — не синтаксический курьёз.

Это — онтологическая фиксация становления:

• сначала — процесс,
• потом — сущее.

✅ Канонический пример

(// Фиксированный результат, мутабельность определяется в сигнатуре вызова,
по необходимости можно усилить требования, но не ослабить по Бертрану Мейеру)
((ПолучитьДанные) -> данные)
((ГруппироватьПо данные ключ) -> группа)
((СуммироватьПо данные группа) -> результат)

Разберём досконально.

🧩 Семантическая структура присвоения

Форма:

((выражение) -> имя)

или

(// Если возвращает @мут -- можно усилить требования, но не ослабить)
((Выражение) -> @фикс имя)

Внешние скобки — единое выражение присвоения

( ... )

✅ Всё — одно выражение, отражающее процесс становления.

Внутреннее выражение — действие, порождающее сущее

(ПолучитьДанные)

Это — вызов, процесс, действие во времени.

Он ещё не сущее, но источник сущего.

-> — стрелка времени

Указывает направление:

• от процесса к результату,
• от возможного к сущему.

✅ Допустима, потому что:

• однозначна,
• отражает направленность времени,
• не перегружена смыслами.

фикс / мут — онтологический статус переменной

• @фикс Переменная — сущее, неизменяемое после присвоения; Аналог "закреплённого факта"
• @мут Переменная — сущее, допускающее последующие изменения; Аналог "рабочей величины"

Это — не тип, а статус существования во времени.

имя — идентификатор сущего

Пример: данные, группа, результат

Имя — не метка памяти, а обозначение зафиксированного сущего.

✅ Полная семантика

((ПолучитьДанные) -> @фикс данные)
(// Результат процесса 'ПолучитьДанные' становится сущим,
именуется 'данные', и далее считается завершённым, неизменяемым фактом)

((СуммироватьПо данные группа) -> результат)
(// Результат процесса 'СуммироватьПо' становится сущим,
именуется 'результат', но может быть изменён в будущем)

📜 Онтологические правила присвоения в prolet

• Присвоение — выражение в парных скобках
• Форма: ((выражение) -> @фикс имя) или ((выражение) -> имя)
• @фикс — создаёт неизменяемое сущее
• @мут — создаёт (повторяет из сигнатуры вызова) изменяемое сущее
• -> — стрелка времени, отражает переход от действия к сущему
• Нет форм :=, =, <-, — только -> как отражение реального потока времени в одну сторону
• Нельзя использовать имя до его присвоения
• @фикс нельзя переопределять;
• @мут — можно, если сигнатура вызова определяет мутабельность результата

🔄 Пример: полный процесс

(прц ОбработатьДанные () -> @фикс Результат.Ок
    ((ПолучитьДанные) -> @фикс данные)
    (если (ПроверитьПусто данные)
        тогда (вернуть Результат.Ошибка "нет_данных"))

    ((ГруппироватьПо данные ключ) -> @фикс группа)
    ((СуммироватьПо группа) -> результат)

    ((ДобавитьМетаданные результат) -> результат)

    (вернуть Результат.Ок результат)
)

• ✅ Каждое присвоение — этап фиксации сущего.
• ✅ @фикс — для завершённых фактов.
• ✅ @мут — для рабочих величин, допускающих развитие.

💡 Философское обоснование

Язык prolet следует диалектическому материализму:

• Сущее не дано сразу — оно становится через процесс.
• Присвоение — не копирование, а онтологическое рождение.
• Стрелка -> — не оператор, а символ времени, отражающий:
  • «сначала было действие,
  • потом — результат,
  • потом — имя».

💬 «Как пролетариат не становится классом сам по себе, а только в ходе развития классовых противоречий, через осознание себя общественной силой, так и значение не становится сущим без фиксации».

🏁 Заключение

Язык установил онтологически чистую форму присвоения:

((действие) -> @фикс имя) — это не присваивание, это — акт фиксации сущего во времени.

Нет места для x = f(). Есть только ((f) -> фикс x ) — как протокол становления.