|
|
@@ -1,13 +1,10 @@
|
|
|
-# pro-005-01 Диалектика формы языка программирования
|
|
|
+# pro.01_55 Диалектика формы языка программирования
|
|
|
|
|
|
В качестве базовой реализации языка программирования **prolet** принята форма заключение всех сущностей в круглые скобки. На первом месте стоит контекст, имеющий смысл "в заданных границах исполни действие в скобках".
|
|
|
|
|
|
Синтаксис закрепляет онтологический принцип в форме языка.
|
|
|
|
|
|
-::: info
|
|
|
-«Исполни контекст в скобках» — это не инструкция, это — утверждение о природе конкретного вычисления как материи в движении.
|
|
|
-
|
|
|
-:::
|
|
|
+> 💡 «Исполни контекст в скобках» — это не инструкция, это — утверждение о природе конкретного вычисления как материи в движении.
|
|
|
|
|
|
Разберём решение в свете диалектического материализма, и закрепим его как фундаментальную аксиому языка **prolet**.
|
|
|
|
|
|
@@ -15,7 +12,7 @@
|
|
|
|
|
|
Принцип:
|
|
|
|
|
|
-> Только процесс может породить результат.
|
|
|
+> Только процесс может породить результат.
|
|
|
> Нет "значения без действия", нет "сущего без движения".
|
|
|
|
|
|
Форма `(%контекст %аргумент...)` — выражает единство формы и содержания:
|
|
|
@@ -24,8 +21,7 @@
|
|
|
- Первый элемент *контекст* — ограничитель и цель процесса, смысловая нагрузка всей формы, вектор направления.
|
|
|
- Остальное — аргументы — материалы, подвергаемые преобразованию.
|
|
|
|
|
|
-Это — не просто вызов функции,
|
|
|
-это — организация труда над данными.
|
|
|
+Это — не просто вызов функции, это — организация труда над данными.
|
|
|
|
|
|
## Контекст как руководящая сила процесса
|
|
|
|
|
|
@@ -36,12 +32,9 @@
|
|
|
- `(если ...)` -- контекст поиска сущего в практике, реализация диалектики бытия
|
|
|
- (... @система ...) -- свойство, задающий условия существования предельно конкретной истины, ограничивает границы возможного конкретного предметного труда
|
|
|
|
|
|
-::: info
|
|
|
-Контекст — это границы процесса и руководящая роль в процессе, его деятельная партия: как партия ставит цель, организует ресурсы, руководит исполнением, контролирует процесс и определяет форму результата процесса,
|
|
|
+> 💡 **Контекст** — это границы процесса и руководящая роль в процессе, его деятельная партия: как партия ставит цель, организует ресурсы, руководит исполнением, контролирует процесс и определяет форму результата процесса,
|
|
|
но не конкретный результат процесса.
|
|
|
|
|
|
-:::
|
|
|
-
|
|
|
## Круглые скобки — диалектическая граница состояний
|
|
|
|
|
|
Скобки — не просто синтаксис, они — отражение закона перехода количества в качество.
|
|
|
@@ -102,10 +95,7 @@
|
|
|
|
|
|
Форма одна — содержание разное, но все они — процессы в рамках конкретного контекста, все они — формы движения материи.
|
|
|
|
|
|
-::: info
|
|
|
-Это — единство противоположностей в синтаксисе: разные по смыслу операции — объединены границей конкретного контекста.
|
|
|
-
|
|
|
-:::
|
|
|
+> 💡 Это — единство противоположностей в синтаксисе: разные по смыслу операции — объединены границей конкретного контекста.
|
|
|
|
|
|
## Почему именно круглые скобки? Материалистическое обоснование
|
|
|
|
|
|
@@ -132,6 +122,16 @@
|
|
|
(// Этот модуль отвечает за безопасность пользователей)
|
|
|
```
|
|
|
|
|
|
+В данном случае, комментарий -- это не физически выполняемый контекст, а контекст на этапе компиляции, который при оптимизированный сборке может быть полностью исключён после итоговой сборки программы.
|
|
|
+
|
|
|
+Также определение типов, структур и типажей -- это процессы на этапе компиляции, которые могут быть оптимизированы и исключены в финальной сборке.
|
|
|
+
|
|
|
+| Элемент | Этап компиляции | Этап выполнения | Влияние на бинарный файл |
|
|
|
+|---------|------------------|------------------|--------------------------|
|
|
|
+| **Комментарий** | Генерация документации | ❌ Не выполняется | ❌ Исключается |
|
|
|
+| **Тип** | Статическая проверка, оптимизация | ❌ Не выполняется | ✅ Оптимизирован |
|
|
|
+| **Код** | Генерация бинарного файла | ✅ Выполняется | ✅ Сохраняется |
|
|
|
+
|
|
|
### Нет "пассивного кода"
|
|
|
|
|
|
Всё, что в скобках — должно быть исполнено, даже если эффект — регистрация, документирование, проверка.
|
|
|
@@ -167,12 +167,9 @@
|
|
|
- Может анализировать потоки, оптимизировать, рефакторить.
|
|
|
- Может бесшовно расширять ядро языка
|
|
|
|
|
|
-## Заключение: (%контекст ...) как онтологическая аксиома `prolet`
|
|
|
+## 🎯 Заключение: (%контекст ...) как онтологическая аксиома `prolet`
|
|
|
|
|
|
-::: success
|
|
|
-Текущее синтаксическое решение — не техническое, но — философское, политическое, революционное.
|
|
|
-
|
|
|
-:::
|
|
|
+> ✅ Текущее синтаксическое решение — не техническое, но — философское, политическое, революционное.
|
|
|
|
|
|
`(%контекст ...)` — это материалистическая формула вычисления:
|
|
|
|
|
|
@@ -180,10 +177,7 @@
|
|
|
- Аргументы — материя, подлежащая преобразованию,
|
|
|
- Скобки — граница процесса, скачок, развитие.
|
|
|
|
|
|
-::: info
|
|
|
-Это — не синтаксис, это — закон языка,
|
|
|
-
|
|
|
-:::
|
|
|
+> 💡 Это — не синтаксис, это — закон языка,
|
|
|
|
|
|
- как закон перехода количества в качество
|
|
|
- закон отрицания отрицания
|
|
|
@@ -194,4 +188,4 @@
|
|
|
- В языке **prolet** всякая конструкция есть *контекст*.
|
|
|
- Всякий *контекст* начинается с имени и заключён в круглые скобки.
|
|
|
- Контекст определяет границы и смысл, скобки — форму движения.
|
|
|
-- Нет контекста — нет и конкретного бытия.
|
|
|
+- Нет контекста — нет и конкретного бытия.
|