Browse Source

Исправления, добавления

SVI 7 months ago
parent
commit
cfd7a6884d
1 changed files with 50 additions and 0 deletions
  1. 50 0
      docs/prolet-013.md

+ 50 - 0
docs/prolet-013.md

@@ -12,8 +12,42 @@
 - сначала — процесс,
 - потом — сущее.
 
+Мы живём в мире, где стрела времени всегда направлена в одну сторону.Это означает, что все процессы протекают в одном направлении вдоль оси времени (даже если процесс обратим).
+
+Поэтому и синтаксис языка должен следовать реальности в духе диалектического материализма.
+
+Это — не просто замечание. Это объективное требование, чтобы язык **prolet** не просто описывал сущее, а воспроизводил в своей форме саму природу бытия: материю, движение, развитие, необратимость времени.
+
+## Отражение односторонней направленности времени
+
+- Все процессы — упорядочены по оси времени,
+- Все операции — имеют начало, развитие и результат,
+- Никакого «возврата в прошлое»,
+- Никакого «параллелизма без указания порядка»,
+- Никакого «абстрактного одновременного существования».
+
+## 🔁 Диалектика времени и языка
+
+- Время -- Одностороннее, необратимое
+- Синтаксис -- линейный, направленный
+- Процесс -- Развивается: причина → следствие
+- Код -- отражает последовательность
+- Обратимость -- Физически возможна, но всё равно идёт вперёд
+- Даже "откат" — новый процесс
+- Состояние -- Момент среза процесса. Фиксируется как сущее в момент `t`
+
+❗ Даже если система «возвращается» в предыдущее состояние — это не возврат во времени, а новый процесс, имитирующий прошлое.
+
+💬 Форма языка — не статична, а процессуальна. Как материя в движении, так и код в **prolet** — развивается во времени.
+
 ## ✅ Канонический пример
 
+Код читается и выполняется слева направо, сверху вниз — как поток практики.
+
+Операции отражают движение от причины к следствию.
+
+Нельзя использовать то, чего ещё не было. Синтаксис запрещает ссылки на будущее.
+
 ```prolet
 (// Фиксированный результат, мутабельность определяется в сигнатуре вызова,
 по необходимости можно усилить требования, но не ослабить по Бертрану Мейеру)
@@ -22,6 +56,9 @@
 ((СуммироватьПо данные группа) -> результат)
 ```
 
+Нет «выражений, вычисляемых в параллель без указания порядка».
+Порядок — не подразумевается, а фиксируется.
+
 Разберём досконально.
 
 ### 🧩 Семантическая структура присвоения
@@ -145,6 +182,19 @@
 
 Язык установил онтологически чистую форму присвоения:
 
+**prolet** — не язык программирования, а язык фиксации процесса во времени.
+
+- Он не абстрагируется от времени.
+- Он воспроизводит его в синтаксисе.
+- Стрела времени — не метафора. Она — структура языка.
+
 `((действие) -> @фикс имя)` — это не присваивание, это — акт фиксации сущего во времени.
 
 Нет места для `x = f()`. Есть только `((f) -> @фикс x )` — как протокол становления.
+
+- Время — объективная форма существования материи.
+- Никакого «вневременного» существования типов, функций, значений.
+- Каждое сущее — момент процесса.
+- Язык — не зеркало, а отражение, в котором форма подчинена содержанию.
+
+💬 «Код в prolet — не набор инструкций, а запись практики, зафиксированной в единстве материи и движения».