|
|
@@ -1,6 +1,6 @@
|
|
|
-# pro.02_40 Присвоение результатов как диалектическое отражение времени
|
|
|
+# pro.02_40 Связывание результатов и имени как диалектическое отражение времени
|
|
|
|
|
|
-В языке программирования **prolet**, присвоение основано на стреле времени и онтологической чёткости: присвоение — не операция в стиле `x = f()`, а процесс перехода от действия к сущему, зафиксированный как направленное преобразование во времени:
|
|
|
+В языке программирования **prolet**, связывание основано на стреле времени и онтологической чёткости: связывание — не присвоение в стиле `x = f()`, а процесс перехода от действия к сущему, зафиксированный как направленное преобразование во времени:
|
|
|
|
|
|
`(%контекст)(уст %переменная)`
|
|
|
|
|
|
@@ -50,18 +50,18 @@
|
|
|
```prolet
|
|
|
(// Фиксированный результат, изменяемость определяется в
|
|
|
сигнатуре вызова, по необходимости можно усилить требования,
|
|
|
- но не ослабить по Бертрану Мейеру)
|
|
|
+ но не ослабить; можно ослабить выход, но не усилить. По Бертрану Мейеру)
|
|
|
(ПолучитьДанные)(уст данные)
|
|
|
(ГруппироватьПо данные ключ)(уст группа)
|
|
|
(СуммироватьПо данные группа)(уст результат)
|
|
|
```
|
|
|
|
|
|
> 💡 Нет «выражений, вычисляемых в параллель без указания порядка».
|
|
|
-Порядок — не подразумевается, а фиксируется. Параллельность допустима только в разных частях пространства.
|
|
|
+> Порядок — не подразумевается, а фиксируется. Параллельность допустима только в разных частях пространства.
|
|
|
|
|
|
Разберём досконально.
|
|
|
|
|
|
-### 🧩 Семантическая структура присвоения
|
|
|
+### 🧩 Семантическая структура связывания
|
|
|
|
|
|
Форма:
|
|
|
|
|
|
@@ -77,7 +77,7 @@
|
|
|
(Выражение)(уст имя @фикс)
|
|
|
```
|
|
|
|
|
|
-#### Внешние скобки — единое выражение присвоения
|
|
|
+#### Внешние скобки — единое выражение связывания
|
|
|
|
|
|
```prolet
|
|
|
( ... )
|
|
|
@@ -93,14 +93,14 @@
|
|
|
|
|
|
Это — вызов, процесс, действие во времени.
|
|
|
|
|
|
-Он ещё не сущее, но источник сущего.
|
|
|
+Результат ещё не именован, но уже сущее.
|
|
|
|
|
|
-#### `уст` — стрелка времени
|
|
|
+#### `уст` — стрела времени
|
|
|
|
|
|
Указывает направление:
|
|
|
|
|
|
- от процесса к результату,
|
|
|
-- от возможного к сущему.
|
|
|
+- от сущего к именованному.
|
|
|
|
|
|
✅ Допустимо, потому что:
|
|
|
|
|
|
@@ -110,7 +110,7 @@
|
|
|
|
|
|
### фикс / мут — онтологический статус переменной
|
|
|
|
|
|
-- `Переменная @фикс` — исторический факт, неизменяемый после присвоения
|
|
|
+- `Переменная` — исторический факт, неизменяемый после присвоения
|
|
|
- `Переменная @изм` — рабочая величина, допускающее последующие изменения
|
|
|
|
|
|
> 💡 Это — *не тип*, а *статус существования во времени*.
|
|
|
@@ -119,30 +119,30 @@
|
|
|
|
|
|
Пример: `данные`, `группа`, `результат`
|
|
|
|
|
|
-> 💡 Имя — *не метка* памяти, а обозначение *зафиксированного сущего*.
|
|
|
+> 💡 Имя — *не метка* памяти, а обозначение *существующего сущего*.
|
|
|
|
|
|
## ✅ Полная семантика
|
|
|
|
|
|
```prolet
|
|
|
-(ПолучитьДанные)(уст данные @фикс)
|
|
|
-(// Результат процесса 'ПолучитьДанные' становится сущим,
|
|
|
-именуется 'данные', и далее считается завершённым, неизменяемым фактом)
|
|
|
+(ПолучитьДанные)(уст данные)
|
|
|
+(// Результат процесса 'ПолучитьДанные' становится именованным 'данные',
|
|
|
+ и далее считается завершённым, неизменяемым фактом)
|
|
|
|
|
|
-(СуммироватьПо данные группа)(уст результат)
|
|
|
-(// Результат процесса 'СуммироватьПо' становится сущим,
|
|
|
- именуется 'результат', но может быть изменён в будущем)
|
|
|
+(СуммироватьПо данные группа)(уст результат @изм)
|
|
|
+(// Результат процесса 'СуммироватьПо' становится именованным 'результат',
|
|
|
+ но может быть изменён в будущем, если сущее также является @изм)
|
|
|
```
|
|
|
|
|
|
-## 📜 Онтологические правила присвоения в **prolet**
|
|
|
+## 📜 Онтологические правила связывания в **prolet**
|
|
|
|
|
|
-- Присвоение — выражение в парных скобках
|
|
|
+- Связывание — выражение в парных скобках
|
|
|
- Форма: `(выражение)(уст имя @изм)` или `(выражение)(уст имя)` без изменяемости
|
|
|
- `@фикс` — создаёт факт
|
|
|
- `@изм` — создаёт изменяемую величину
|
|
|
- `уст` — стрела времени, отражает переход от действия к сущему
|
|
|
- Нет форм `:=`, `=`, `<-`, `->` . Только `уст` как отражение реального потока времени в одну сторону
|
|
|
- Нельзя использовать имя до его присвоения
|
|
|
-- `@фикс` нельзя переопределять;
|
|
|
+- `@фикс` нельзя изменить;
|
|
|
- `@изм` — можно, если сигнатура вызова определяет изменяемость результата.
|
|
|
|
|
|
## 🔄 Пример: полный процесс
|
|
|
@@ -163,7 +163,7 @@
|
|
|
)
|
|
|
```
|
|
|
|
|
|
-- ✅ Каждое присвоение — этап фиксации сущего.
|
|
|
+- ✅ Каждое связывание — этап фиксации сущего.
|
|
|
- ✅ `@фикс` — для завершённых фактов.
|
|
|
- ✅ `@изм` — для рабочих величин, допускающих развитие.
|
|
|
|
|
|
@@ -172,17 +172,17 @@
|
|
|
Язык **prolet** следует диалектическому материализму:
|
|
|
|
|
|
- Сущее не дано сразу — оно становится через процесс.
|
|
|
-- Присвоение — не копирование, а онтологическое рождение.
|
|
|
+- Связывание — не копирование, а онтологическое рождение.
|
|
|
- контекст `уст` — не оператор, а символ времени, отражающий:
|
|
|
- «сначала было действие,
|
|
|
- потом — результат,
|
|
|
- потом — имя».
|
|
|
|
|
|
-> 💡 «Как руда не становится сталью сама по себе, а только в ходе движения производственных процессов, через присвоение формы полезного ресурса руде, так и значение не становится сущим без фиксации».
|
|
|
+> 💡 «Как руда не становится сталью сама по себе, а только в ходе движения производственных процессов, через становление формы полезного ресурса `руда`, так и значение не становится сущим без фиксации».
|
|
|
|
|
|
## 🏁 Заключение
|
|
|
|
|
|
-Язык установил онтологически чистую форму присвоения:
|
|
|
+Язык установил онтологически чистую форму связывания:
|
|
|
|
|
|
**prolet** — не язык программирования, а язык фиксации процесса во времени.
|
|
|
|
|
|
@@ -203,7 +203,7 @@
|
|
|
|
|
|
Описанная семантика **вводит в язык диалектику бытия и становления**:
|
|
|
|
|
|
-> **Каждое присваивание — это момент в истории системы,**
|
|
|
+> **Каждое связывание — это момент в истории системы,**
|
|
|
> **и эта история не может быть стёрта, она может только изменить форму бытия.**
|
|
|
|
|
|
Это — язык не для «вычисления», а для **практического преобразования мира**.
|
SVI