소스 검색

SVI Доработка документации

SVI 3 달 전
부모
커밋
58e707517a
3개의 변경된 파일30개의 추가작업 그리고 22개의 파일을 삭제
  1. 13 19
      docs/docs/02_90.md
  2. 15 1
      docs/docs/03_10.md
  3. 2 2
      docs/pro_readme.md

+ 13 - 19
docs/docs/02_90.md

@@ -1,35 +1,29 @@
-# pro-018 Ассемблер prolet
+# pro-018 Кварковый уровень prolet
 
-Ассемблер **prolet** является изолированным контекстом. В нём нет высокоуровневых типов, структур, срезов, типажей и т.п. Ассемблер выражает все доступные возможности **ВМ.**
+Кварковый уровень **prolet** является изолированным контекстом. В нём нет высокоуровневых типов, структур, срезов, типажей и т.п. Кварковый уровень выражает все доступные возможности **ВМ.**
 
-::: warn
-Работа с виртуальной машиной на уровне ассемблера может легко испортить её состояние!
+> 💡 Работа с виртуальной машиной на кварковом уровне не может легко испортить её состояние!
 
-:::
+## Контекст кваркового уровня
 
-## Контекст ассемблера
-
-Для вхождения в контекст ассемблера необходимо его активировать в форме:
+Для вхождения в контекст кваркового уровня необходимо его активировать в форме:
 
 ```prolet
 (кварк
-	(...)
+  (...)
 )
 ```
 
-После этого, все возможности декодера команд ассемблера будут доступны на этом уровне, без какой либо необходимости упоминания ассемблера. При этом все остальные возможности языка будут изолированы. На уровне ассемблера недоступны свойства ,влияющие на работу **ВМ**. Доступны системные свойства, такие как `@_док`, которые фактически никак не влияют на состояние **ВМ.**
-
-## Набор команд ассемблера
+После этого, все возможности декодера команд кваркового уровня будут доступны на этом уровне, без какой либо необходимости упоминания ассемблера. При этом все остальные возможности языка будут изолированы. На кварковом уровне недоступны контексты, влияющие на работу **ВМ**. Доступны системные свойства, такие как `@_док`, которые фактически никак не влияют на состояние **ВМ.**
 
-Набор команд может со временем расширяться. Существующие команды меняться не будут в рамках текущей мажорной версии **ВМ**. Ограничений на расширение команд не заложено.
+## Набор кварков кваркового уровня
 
-## Макросы на уровне ассемблера
+Набор кварков может со временем расширяться. Существующие кварки меняться не будут в рамках текущей мажорной версии **ВМ**. Ограничений на расширение кварков не заложено.
 
-Поскольку макросы в **prolet** не являются полными по Тьюрингу, а служат средством автоматизации, то макросы на уровне ассемблера разрешены. С помощью них можно удобно группировать несколько ассемблерных инструкций.
+## Макросы на кварковом уровне
 
-## Заключение
+Поскольку макросы в **prolet** не являются полными по Тьюрингу, а служат средством автоматизации, то макросы на кварковом уровне разрешены. С помощью них можно удобно группировать несколько кварков.
 
-::: success
-**prolet** включает в себя ассемблер как машину исполнения. Ассемблер не содержит смыслов, не знает ничего о структурах — это машина исполнения простейших команд и хранения состояния.
+## 🎯 Заключение
 
-:::
+> ✅ **prolet** включает в себя кварковый уровень как машину исполнения. Кварковый уровень не теряет смыслы, не знает ничего о атомах или спецификациях — это машина исполнения логики кварков, кварки самостоятельно хранят свои состояния.

+ 15 - 1
docs/docs/03_10.md

@@ -1 +1,15 @@
-# pro-019 Набор команд ассемблера prolet
+# pro-019 Набор кварков prolet
+
+Кварк, как основа цифровой материи **prolet**, обеспечивает все возможности исполнения в **ВМ**. Поскольку каждый кварк обеспечивает своё поведение сам -- нет никакой необходимости на текущем уровне познания действительности делать их число больше, чем предложено, но также это означает, что **prolet** не является закрытой системой и допускает своё расширение за счёт введения новых кварков.
+
+Для расширения системы нужно будет описать новый кварк и его взаимодействие с другими кварками.
+
+Такой подход также позволяет реализовывать систему по частям, при этом после реализации любой части **prolet** будет вполне функциональным в реализованной части даже без полного своего состава.
+
+## Виды кварков
+
+Здесь даётся краткое описание каждого кварка, более подробное описание дано в соответствующем разделе.
+
+### Кварк пусто.
+
+Кварк пусто нельзя использовать ни в каком виде, как значение. Служит для отрицания результата вычисления предыдущего контекста.

+ 2 - 2
docs/pro_readme.md

@@ -32,8 +32,8 @@
 - pro.02_60 [Диалектика статических обобщённых типов](./docs/02_60.md)
 - pro.02_70 [Работа с сущностями в логике диалектического материализма](./docs/02_70.md)
 - pro.02_80 [Контексты вычислений](./docs/02_80.md)
-- pro.02_90 [Ассемблер prolet](./docs/02_90.md)
-- pro.03_10 [Набор команд ассемблера](./docs/03_10.md)
+- pro.02_90 [Кварковый уровень prolet](./docs/02_90.md)
+- pro.03_10 [Набор кварков пролет](./docs/03_10.md)
 - Атомы языка
 - ВМ
 - Система типов