|
|
@@ -87,12 +87,12 @@
|
|
|
|
|
|
```prolet
|
|
|
((ПолучитьДанные) -> @фикс данные)
|
|
|
-(// Результат процесса ПолучитьДанные становится сущим,
|
|
|
-именуется данные, и далее считается завершённым, неизменяемым фактом)
|
|
|
+(// Результат процесса 'ПолучитьДанные' становится сущим,
|
|
|
+именуется 'данные', и далее считается завершённым, неизменяемым фактом)
|
|
|
|
|
|
((СуммироватьПо данные группа) -> результат)
|
|
|
-(// Результат процесса СуммироватьПо становится сущим,
|
|
|
-именуется результат, но может быть изменён в будущем)
|
|
|
+(// Результат процесса 'СуммироватьПо' становится сущим,
|
|
|
+именуется 'результат', но может быть изменён в будущем)
|
|
|
```
|
|
|
|
|
|
## 📜 Онтологические правила присвоения в **prolet**
|
|
|
@@ -100,7 +100,7 @@
|
|
|
- Присвоение — выражение в парных скобках
|
|
|
- Форма: `((выражение) -> @фикс имя)` или `((выражение) -> имя)`
|
|
|
- `@фикс` — создаёт неизменяемое сущее
|
|
|
-- `@мут` - — создаёт (повторяет из сигнатуры вызова) изменяемое сущее
|
|
|
+- `@мут` — создаёт (повторяет из сигнатуры вызова) изменяемое сущее
|
|
|
- `->` — стрелка времени, отражает переход от действия к сущему
|
|
|
- Нет форм `:=`, `=`, `<-`, — только `->` как отражение реального потока времени в одну сторону
|
|
|
- Нельзя использовать имя до его присвоения
|
SVI