|
@@ -0,0 +1,160 @@
|
|
|
|
|
+# Отрицание эклектики в построении языка
|
|
|
|
|
+
|
|
|
|
|
+На сравнении с диалектикой рассмотрим несостоятельность эклектикой, как различие между _научным мышлением_ и _сбором мнений_, между единством закона и практики и подменой теории компиляцией цитат.
|
|
|
|
|
+
|
|
|
|
|
+Рассматривать различия будем в ленинском духе, без прикрас.
|
|
|
|
|
+
|
|
|
|
|
+## 🔥 Диалектика
|
|
|
|
|
+
|
|
|
|
|
+**Диалектика** — это учение о всеобщей связи и развитии материи, выраженной в законах движения и становления сущего.
|
|
|
|
|
+
|
|
|
|
|
+✅ Основные черты:
|
|
|
|
|
+
|
|
|
|
|
+### Всеобщая связь
|
|
|
|
|
+
|
|
|
|
|
+Ничто не существует изолированно.
|
|
|
|
|
+
|
|
|
|
|
+Каждое явление — в отношении к другим.
|
|
|
|
|
+
|
|
|
|
|
+Пример: в языке программирования **prolet** тип не существует сам по себе — он возникает на базе абстракции, но только в ходе практики.
|
|
|
|
|
+
|
|
|
|
|
+### Развитие через противоречие
|
|
|
|
|
+
|
|
|
|
|
+Движущая сила прогресса — борьба противоположностей.
|
|
|
|
|
+
|
|
|
|
|
+Пример:
|
|
|
|
|
+
|
|
|
|
|
+- `@мут` (изменяемость) ↔ `@фикс` (неизменность)
|
|
|
|
|
+- `Процесс` (практика) ↔ `Функция` (форма)
|
|
|
|
|
+
|
|
|
|
|
+→ их единство и борьба и рождает новый уровень — `структ`, `интерфейс`.
|
|
|
|
|
+
|
|
|
|
|
+### Переход количества в качество
|
|
|
|
|
+
|
|
|
|
|
+Накопление изменений ведёт к скачку, к новому качеству.
|
|
|
|
|
+
|
|
|
|
|
+Пример:
|
|
|
|
|
+
|
|
|
|
|
+- Многократное использование `@возможно` → рождение правила: «Только через `ГарантВозможно` потенциальное становится сущим».
|
|
|
|
|
+
|
|
|
|
|
+### Отрицание отрицания
|
|
|
|
|
+
|
|
|
|
|
+Развитие — не круг, а спираль: старое отрицается, затем отрицается само отрицание.
|
|
|
|
|
+
|
|
|
|
|
+Пример:
|
|
|
|
|
+
|
|
|
|
|
+- Тезис: "всё — типы" (идеализм)
|
|
|
|
|
+- Антитезис: "нет типов, только сущее" (материализм)
|
|
|
|
|
+- Синтез: "есть типы как формы сущего" — диалектика.
|
|
|
|
|
+
|
|
|
|
|
+### Объективность
|
|
|
|
|
+
|
|
|
|
|
+Законы диалектики — не плод воображения, а отражение объективного движения материи.
|
|
|
|
|
+💬
|
|
|
|
|
+Диалектика — как компас:
|
|
|
|
|
+
|
|
|
|
|
+- она не даёт готовых ответов,
|
|
|
|
|
+- но указывает направление движения.
|
|
|
|
|
+
|
|
|
|
|
+## 🧩 Эклектика
|
|
|
|
|
+
|
|
|
|
|
+**Эклектика** — это механическое смешение идей, взглядов, теорий без внутренней связи, подбор "удобных" положений вне их закономерной взаимосвязи.
|
|
|
|
|
+
|
|
|
|
|
+## ❌ Основные черты диалектики
|
|
|
|
|
+
|
|
|
|
|
+### Отсутствие системы
|
|
|
|
|
+
|
|
|
|
|
+Идеи берутся "по вкусу", без учёта их происхождения и противоречий.
|
|
|
|
|
+
|
|
|
|
|
+Пример:
|
|
|
|
|
+
|
|
|
|
|
+- Взять ООП из Запада, марксизм из Ленина, функциональное программирование из Хаскелла — и слепить "язык будущего", не решая, как они связаны.
|
|
|
|
|
+
|
|
|
|
|
+### Подмена развития — подбором
|
|
|
|
|
+
|
|
|
|
|
+Не развитие через противоречие, а выбор "лучшего" из существующего.
|
|
|
|
|
+
|
|
|
|
|
+Пример:
|
|
|
|
|
+
|
|
|
|
|
+- "Мне нравится snake_case, поэтому пусть будет в prolet" — без анализа онтологии.
|
|
|
|
|
+
|
|
|
|
|
+### Игнорирование противоречий
|
|
|
|
|
+
|
|
|
|
|
+Эклектик замазывает разрывы, вместо того чтобы их преодолевать.
|
|
|
|
|
+
|
|
|
|
|
+Он говорит:
|
|
|
|
|
+
|
|
|
|
|
+- «Ну и что, что @мут внутри @фикс? Пусть будет — удобно».
|
|
|
|
|
+
|
|
|
|
|
+### Субъективизм
|
|
|
|
|
+
|
|
|
|
|
+Критерий истины — не практика, а _личное предпочтение_, _мода_, _авторитет_.
|
|
|
|
|
+
|
|
|
|
|
+### Статичность
|
|
|
|
|
+
|
|
|
|
|
+Эклектика не порождает нового — она _переставляет старое_.
|
|
|
|
|
+💬
|
|
|
|
|
+Эклектика — как мешок с барахлом:
|
|
|
|
|
+
|
|
|
|
|
+- там может быть золото, гвозди и книга Маркса,
|
|
|
|
|
+- но между ними — ни связи, ни смысла.
|
|
|
|
|
+
|
|
|
|
|
+## ⚖️ Противопоставление
|
|
|
|
|
+
|
|
|
|
|
+ДИАЛЕКТИКА | ЭКЛЕКТИКА
|
|
|
|
|
+Учение о движении и развитии | Подбор готовых решений
|
|
|
|
|
+Основана на противоречии | Избегает противоречий
|
|
|
|
|
+Требует анализа условий бытия | Опирается на "удобство"
|
|
|
|
|
+Объективна | Субъективна
|
|
|
|
|
+Порождает новое качество | Перемешивает старое
|
|
|
|
|
+Единство формы и содержания | Разрыв формы и содержания
|
|
|
|
|
+Язык общественного | Язык эгоистичного
|
|
|
|
|
+
|
|
|
|
|
+## 💡 Примеры на отсылках
|
|
|
|
|
+
|
|
|
|
|
+Одно из принятых правил в для реализации:
|
|
|
|
|
+
|
|
|
|
|
+```text
|
|
|
|
|
+В prolet не будет абстрактных типов вроде int, string.
|
|
|
|
|
+Будут только типы сущего.
|
|
|
|
|
+```
|
|
|
|
|
+
|
|
|
|
|
+Это правило на основе применения диалектики:
|
|
|
|
|
+
|
|
|
|
|
+```text
|
|
|
|
|
+это разрешение противоречия между идеализмом типов и материализмом практики,
|
|
|
|
|
+и разрешает его через синтез:
|
|
|
|
|
+
|
|
|
|
|
+«тип — форма сущего, зафиксированная в практике».
|
|
|
|
|
+```
|
|
|
|
|
+
|
|
|
|
|
+Если бы правило было:
|
|
|
|
|
+
|
|
|
|
|
+```text
|
|
|
|
|
+«давайте возьмём:
|
|
|
|
|
+- type из TypeScript,
|
|
|
|
|
+- struct из C,
|
|
|
|
|
+ -class из Python и смешаем
|
|
|
|
|
+```
|
|
|
|
|
+
|
|
|
|
|
+это была бы эклектика.
|
|
|
|
|
+
|
|
|
|
|
+## 🏁 Заключение
|
|
|
|
|
+
|
|
|
|
|
+**Диалектика** — оружие революционного мышления.
|
|
|
|
|
+
|
|
|
|
|
+Она требует труда, дисциплины, борьбы с собственным невежеством.
|
|
|
|
|
+
|
|
|
|
|
+Эклектика — удобная лень.
|
|
|
|
|
+Она позволяет казаться умным, ничего не понимая.
|
|
|
|
|
+
|
|
|
|
|
+💬 Ленин сказал:
|
|
|
|
|
+
|
|
|
|
|
+```text
|
|
|
|
|
+Диалектика есть „алгоритм“ философии…
|
|
|
|
|
+Эклектика — это когда человек берёт то одно, то другое,
|
|
|
|
|
+не видя связи между ними, и делает из этого „философию“.
|
|
|
|
|
+```
|
|
|
|
|
+
|
|
|
|
|
+Именно поэтому язык программирования **prolet** — не очередной DSL основанный на авторитете как частном мнении,
|
|
|
|
|
+а язык, отражающий единство материи, времени и практики.
|
SVI