prolet/docs/phi-001.md

Отрицание эклектики в построении языка

На сравнении с диалектикой рассмотрим несостоятельность эклектики, как различие между научным мышлением и сбором мнений, между единством закона и практики и подменой теории компиляцией цитат.

Рассматривать различия будем в ленинском духе, без прикрас.

🔥 Диалектика

Диалектика — это учение о всеобщей связи и развитии материи, выраженной в законах движения и становления сущего.

✅ Основные черты:

Всеобщая связь

Ничто не существует изолированно.

Каждое явление — в отношении к другим.

Пример: в языке программирования prolet тип не существует сам по себе — он возникает на базе абстракции, но только в ходе практики.

Развитие через противоречие

Движущая сила прогресса — борьба противоположностей.

Пример:

• @мут (изменяемость) ↔ @фикс (неизменность)
• Процесс (практика) ↔ Функция (форма)

→ их единство и борьба и рождает новый уровень — структ, интерфейс.

Переход количества в качество

Накопление изменений ведёт к скачку, к новому качеству.

Пример:

• Многократное использование @возможно → рождение правила: «Только через ГарантВозможно потенциальное становится сущим».

Отрицание отрицания

Развитие — не круг, а спираль: старое отрицается, затем отрицается само отрицание.

Пример:

• Тезис: "всё — типы" (идеализм)
• Антитезис: "нет типов, только сущее" (материализм)
• Синтез: "есть типы как формы сущего" — диалектика.

Объективность

Законы диалектики — не плод воображения, а отражение объективного движения материи. 💬 Диалектика — как компас:

• она не даёт готовых ответов,
• но указывает направление движения.

🧩 Эклектика

Эклектика — это механическое смешение идей, взглядов, теорий без внутренней связи, подбор "удобных" положений вне их закономерной взаимосвязи.

❌ Основные черты диалектики

Отсутствие системы

Идеи берутся "по вкусу", без учёта их происхождения и противоречий.

Пример:

• Взять ООП из Запада, марксизм из Ленина, функциональное программирование из Хаскелла — и слепить "язык будущего", не решая, как они связаны.

Подмена развития — подбором

Не развитие через противоречие, а выбор "лучшего" из существующего.

Пример:

• "Мне нравится snake_case, поэтому пусть будет в prolet" — без анализа онтологии.

Игнорирование противоречий

Эклектик замазывает разрывы, вместо того чтобы их преодолевать.

Он говорит:

• «Ну и что, что @мут внутри @фикс? Пусть будет — удобно».

Субъективизм

Критерий истины — не практика, а личное предпочтение, мода, авторитет.

Статичность

Эклектика не порождает нового — она переставляет старое. 💬 Эклектика — как мешок с барахлом:

• там может быть золото, гвозди и книга Маркса,
• но между ними — ни связи, ни смысла.

⚖️ Противопоставление

ДИАЛЕКТИКА | ЭКЛЕКТИКА Учение о движении и развитии | Подбор готовых решений Основана на противоречии | Избегает противоречий Требует анализа условий бытия | Опирается на "удобство" Объективна | Субъективна Порождает новое качество | Перемешивает старое Единство формы и содержания | Разрыв формы и содержания Язык общественного | Язык эгоистичного

💡 Примеры на отсылках

Одно из принятых правил в для реализации:

В prolet не будет абстрактных типов вроде int, string.
Будут только типы сущего.

Это правило на основе применения диалектики:

это разрешение противоречия между идеализмом типов и материализмом практики,
и разрешает его через синтез:

«тип — форма сущего, зафиксированная в практике».

Если бы правило было:

«давайте возьмём:
- type из TypeScript,
- struct из C,
 -class из Python и смешаем

это была бы эклектика.

🏁 Заключение

Диалектика — оружие революционного мышления.

Она требует труда, дисциплины, борьбы с собственным невежеством.

Эклектика — удобная лень. Она позволяет казаться умным, ничего не понимая.

💬 Ленин сказал:

Диалектика есть „алгоритм“ философии…
Эклектика — это когда человек берёт то одно, то другое,
не видя связи между ними, и делает из этого „философию“.

Именно поэтому язык программирования prolet — не очередной DSL основанный на авторитете как частном мнении, а язык, отражающий единство материи, времени и практики.