SVI Пересмотр документации

docs/docs/01_30.md

@@ -274,7 +274,7 @@
         Паника("ПроверитьДоступ: кривые данные для пользователя")
       )
     )
-    ..(рез(поле знач))
+    ..(рез.знач)
   )
 )
 ```

docs/docs/01_40.md

@@ -229,9 +229,12 @@
   )
   нач(
     # Высокий уровень
-    ГруппироватьПо(данные(.ключ))
+    ГруппироватьПо(данные.ключ)
+    # Высокий уровень
+    ЦелКопияИнк(нов вх)
+    ЦелКопия
     уст(группа)
-    СуммироватьПо(данные(.группа))
+    СуммироватьПо(данные.группа)
     # Спуск в низкий уровень — через вызов функции/процесса в которых указананы эффекты
     # Теперь можно использовать указатели, asm)
     ЦелКопияИнк(рез)

docs/docs/01_55.md

@@ -93,10 +93,14 @@
 атом(
   имя(Пользователь)
   протон(
-    Имя(нов имя +эксп)
-    Возраст(нов возраст)
-  );
-);
+    имя(Имя +эксп)
+    тип(Стр)
+  )
+  протон(
+    имя(Возраст)
+    тип(Цел)
+  )
+)
 ```
 
 ## Условие

docs/docs/01_60.md

@@ -111,10 +111,24 @@
 атом(
   имя(Пользователь)
   протон(
-    ЧеловекНом(нов номер)
-    ЧеловекИмя(нов имя +изм)
-    ЧеловекВозраст(нов возраст +изм)
-    Роль(нов роль +изм)
+    имя(ЧеловекНом)
+    тип(БЦел)
+    домен(1..БЦелМакс)
+  )
+  протон(
+    имя(ЧеловекИмя +изм)
+    тип(Стр)
+    домен(1..150)
+  )
+  протон(
+    имя(ЧеловекВозраст +изм)
+    тип(БЦел)
+    домен(0..120)
+  )
+  протон(
+    имя(Роль +изм)
+    тип(Стр)
+    домен(1..40)
   )
 )
 
@@ -188,7 +202,7 @@
   )
   парам(
     ГостьИмя(нов имя)
-  );
+  )
   нач(
     Печатать("Привет, {имя}!")
   )
@@ -209,9 +223,13 @@
   имя(Точка)
   протон(
     имя(ПозХ)
+    тип(Цел)
+    домен(-10_000..10_000)
   )
   протон(
     имя(ПозУ)
+    тип(Цел)
+    домен(-10_000..10_000)
   )
 )
 ```
@@ -294,14 +312,17 @@
   протон(
     имя(ЧелИмя)
     тип(Стр)
+    домен(1..140)
   )
   протон(
     имя(ЧелВозраст +изм)
-    тип(Цел)
+    тип(БЦел)
+    домен(0..120)
   )
   протон(
     имя(Роль +изм)
     тип(Стр)
+    домен(1..40)
   )
 )
 
@@ -324,7 +345,7 @@
       СписБайт(нов нечто)
     )
     нач(
-      СписБайт(срав нечто(.длина) > 0)
+      СписБайт(срав нечто.длина > 0)
       если (рез
         тогда (
           Файл(записать нечто)

docs/docs/01_70.md

@@ -41,7 +41,7 @@
 
 Основано на S-выражениях, как в **Лиспе**, но семантически строго:
 
-```yml
+```pyton
 # Если не указан атрибут изменяемости -- по умолчанию фикс
 фн(
   имя(Cложить)
@@ -70,13 +70,20 @@
 )
 
 
-прц:
-  имя: Пуск
-  нач:
-    - Цел сравнить х > 0
-    - если рез
-    - _ тогда Напечатать "Положительно"
-    - _ иначе Напечатать "Ноль или отрицательно"
+прц(
+  имя(Пуск)
+  нач(
+    Цел(срав х > 0)
+    если(рез
+      тогда(
+        Напечатать("Положительно")
+      )
+      иначе(
+        Напечатать("Ноль или отрицательно")
+      )
+    )
+  )
+)
 ```
 
 Особенности ядра:
@@ -94,13 +101,14 @@
 
 Внутри — новые формы, **DSL**, макросы, оптимизации. Снаружи -- прежний синтаксис.
 
-```yml
-макро:
-  имя: параллельно
-  эффект:
-    - тест
-    - ядро
-  автор: user@ya.ru
+```python
+макро(
+  имя(параллельно)
+  эффект(
+    тест()
+    ядро()
+  )
+  автор(user@ya.ru)
   док: "Конструктор запроса SELECT"
   парам:
     - тело данные
@@ -108,6 +116,7 @@
   нач:
     - ЗагрузитьДанные {данные}
     - ОбновитьСпек {спека}
+)
 
 макро:
   имя: выбор