prolet/docs/docs/02_20.md

pro-011 Диалектика становления: абстракция - конкретное - обобщение

Дерево сущностей в prolet представлено ниже:

flowchart LR
subgraph Практика
	direction TB
	Субъект --> Цели
	Цели --> Задачи
	Задачи --> Свойства
end
subgraph prolet
	direction TB
	Типажи --> Структуры
	Структуры --> Типы
	Типы --> БазовыеТипы
end

subgraph СинтезАппарат
	direction TB
	АппаратныйТип1
	АппаратныйТип2
end

Практика --> prolet
prolet --> СинтезАппарат

В данном случае отображается не иерархия типов, а онтологический процесс становления, в соответствии с законами диалектического материализма:

• отрицание → противоположность → синтез,
• форма → содержание → единство формы и содержания.

Разберём схему более подробно, уточним и закрепим эти положения как каноническое отражение развития сущего в prolet.

🔍 Диалектический разбор

Практика (сущее)

Что: существующие общественные отношения,возникающие противоречия в виде целей, определяющих задачи. Задачи ограничены конкретными условиями

Статус: реально существующую практика, пространство противоречий и ограничений.

Роль в диалектике: зарождение противоречия

Противоречие: между тем что есть, и тем что должно быть.

Свойства

Что: @_база, @_диапазон, @_обязательно, @значение, @активен — характеристики сущего.

Происхождение: сопровождают всё сущее, как внешние ограничения конкретного существования.

Роль: Отражают состояние, статус, ограничения, контекст.

Противоречие: определяются конкретной практикой, могут быть неприменимы к изменившемся материальным условиям, что способно привести к нарушениям логики.

✅ Свойства — не метаданные, а сущее, выделенное из конкретного контекста.

Типажи (конкретизация практики)

Что: Пользователь, Заказ, Документ — формы композиции, конкретизирующие общие формы практики.

Статус: конкретизация практики — не просто набор действий и свойств сущностей, а более конкретная форма практики, в которой отношения между частями не на столько важны, как действия доступные группе обобщений.

Роль в диалектике: «Синтез: не форма организации практики, а реализация самой практики».

Противоречие: цели формируемые субъектом определяют задачи с заданными свойствами, но не отражаются в конкретном коде. Типажи формализуют задачи и свойства и определяют дальнейшее определение структур.

✅ Определяются через (типаж ...).

Структуры (конкретизация формы)

Что: Пользователь, Заказ, Документ — формы композиции, отражающие конкретизацию типажа.

Статус: синтез конкретного — не просто набор свойств, а законченная форма сущего, в которой отношения между частями — так же важны, как и сами части.

Роль в диалектике: «Синтез: не тип, не значение, а форма организации конкретной практики».

✅ Определяются через (структ ...).

Противоречие: типажи не обладают конкретной структурой сущности,только описывают поведение. Структуры позволяют реализовать описанное поведение с специфичной структурой для конкретной сущности.

Типы (сущее с формой)

Что: Рубль, ЧеловекИмя, ПользовательНомер, Роль — материализованные формы сущего, возникшие в практике.

Статус: типы вписаны в контекст, имеют единицы, ограничения, назначение.

Роль в диалектике: «Противоположность идеализму — конкретное, социальное, ограниченное сущее».

Противоречие: структура обладая частями и поведением не может описывать свои части. Тип делает именно это: описывает составную часть с заданной характеристикой

✅ Определяются через (тип ... @_база Абстракция).

Базовые типы (сущее, основа конкретного)

Что: Целое, Строка, Бул, Срез — носитель практических типов, отражение аппаратных типов.

Статус: отражение аппаратных типов в виде одной формы, носитель для конкретных типов.

Роль в диалектике: отражение аппаратного, предоставление базы для конкретных типов.

Противоречие: практический тип не может непосредственно быть использованным как аппаратный тип, базовый снимает конкретные ограничения на практическую реализацию.

Встроены, не определяются и не переопределяются.

::: info В prolet нельзя использовать напрямую — только через @_база.

:::

Материальная база (контекст существования практики)

Что: Аппаратура — новая конкретная форма аппаратуры, среда практической деятельности.

Статус: среда конкретной реализации, пространство доступного, отрицание абстрактного.

Роль в диалектике: «Отрицание абстрактного».

Противоречие: базовый тип ничего не знает о возможностях аппаратуры. С ходом развития и/или расширения языка — аппаратура наиболее полно реализует возможности языка.

Действия и типажи

Действия: действия, применяемые к структурам — ПроверитьАктивность, ОтправитьЧерезПочту.

Типажи: конкретизация практики, отражающее форму взаимодействия с сущим, независимо от реализации.

::: info Типажи — не "сверху", а "конкретизация практики": они возникают как ограничение практики, как контекст.

:::

✅ Таким образом:

• Практика порождает типажи
• Структуры конкретизируют типажи,
• Действия реализуются в структурах,

🔄 Полная диалектическая цепочка

flowchart LR
subgraph Практика
	direction TB
	Субъект --> Цели
	Цели --> Задачи
	Задачи --> Свойства
end
subgraph prolet
	direction TB
	Типажи --> Структуры
	Структуры --> Типы
	Типы --> БазовыеТипы
end

subgraph СинтезАппарат
	direction TB
	АппаратныйТип1
	АппаратныйТип2
end

Практика --> prolet
prolet --> СинтезАппарат

📜 Онтологическое содержание уровней

• Свойства: @_база, @активен (Ограничения практики)
• Типажи: Хранилище, Аутентификатор (Конкретизация форм практики)
• Структуры: Пользователь, Заказ (Форма конкретизации типажей)
• Действия: ПроверитьАктивность (Действия над сущим)
• Типы: Рубль, Роль (Конкретизация базы)
• Базовые типы: Целое, Строка — конвертер в аппаратные типы
• Аппаратный тип: новый предельно конкретный минимальный тип.

💡 Философское обоснование

Идеи языка следуют диалектическому материализму:

• Развитие идёт не сверху вниз, а от практики к её обобщению в высшей форме, и далее в новой форме опять к практике.
• Типаж не первичен, он — порождение практики.
• Базовый тип не абстрактен, но не обладает всей полнотой конкретного свойств,
• а тип — уже вписан в практику на основе базового типа,
• Структура — синтез конкретных типов.
• «Не interface как божественный замысел, а типаж как инструмент труда, и как обобщение структур — вот путь материалистического программирования».

🏁 Заключение

Установлена онтологическая модель prolet:

Это не иерархия типов.

Это — диалектика становления сущего: от обобщённой практики →к ограниченной задаче →к конкретной задаче → к предельно конкретной практике.

::: success prolet — не язык программирования.
Это — язык фиксации развития практики.

:::