|
|
@@ -1,4 +1,4 @@
|
|
|
-# phi-001 Отрицание эклектики в построении языка
|
|
|
+# phi.00_20 Отрицание эклектики в построении языка
|
|
|
|
|
|
На сравнении с диалектикой рассмотрим несостоятельность эклектики, как различие между *научным мышлением* и *сбором мнений*, между единством закона и практики и подменой теории компиляцией цитат.
|
|
|
|
|
|
@@ -12,20 +12,14 @@
|
|
|
|
|
|
### Всеобщая связь
|
|
|
|
|
|
-::: info
|
|
|
-Ничто не существует изолированно.
|
|
|
-Каждое явление — в отношении к другим.
|
|
|
-
|
|
|
-:::
|
|
|
+> Ничто не существует изолированно.
|
|
|
+> Каждое явление — в отношении к другим.
|
|
|
|
|
|
Пример: в языке программирования **prolet** тип не существует сам по себе — он возникает на базе абстракции, но только в ходе практики.
|
|
|
|
|
|
### Развитие через противоречие
|
|
|
|
|
|
-::: info
|
|
|
-Движущая сила прогресса — борьба противоположностей.
|
|
|
-
|
|
|
-:::
|
|
|
+> Движущая сила прогресса — борьба противоположностей.
|
|
|
|
|
|
Пример:
|
|
|
|
|
|
@@ -36,10 +30,7 @@
|
|
|
|
|
|
### Переход количества в качество
|
|
|
|
|
|
-::: info
|
|
|
-Накопление изменений ведёт к скачку, к новому качеству.
|
|
|
-
|
|
|
-:::
|
|
|
+> Накопление изменений ведёт к скачку, к новому качеству.
|
|
|
|
|
|
Пример:
|
|
|
|
|
|
@@ -47,10 +38,7 @@
|
|
|
|
|
|
### Отрицание отрицания
|
|
|
|
|
|
-::: info
|
|
|
-Развитие — не круг, а спираль: старое отрицается, затем отрицается само отрицание.
|
|
|
-
|
|
|
-:::
|
|
|
+> Развитие — не круг, а спираль: старое отрицается, затем отрицается само отрицание.
|
|
|
|
|
|
Пример:
|
|
|
|
|
|
@@ -60,10 +48,7 @@
|
|
|
|
|
|
### Объективность
|
|
|
|
|
|
-::: info
|
|
|
-Законы диалектики — не плод воображения, а отражение объективного движения материи.
|
|
|
-
|
|
|
-:::
|
|
|
+> Законы диалектики — не плод воображения, а отражение объективного движения материи.
|
|
|
|
|
|
💬 Диалектика — как компас:
|
|
|
|
|
|
@@ -78,10 +63,7 @@
|
|
|
|
|
|
### Отсутствие системы
|
|
|
|
|
|
-::: info
|
|
|
-Идеи берутся "по вкусу", без учёта их происхождения и противоречий.
|
|
|
-
|
|
|
-:::
|
|
|
+> Идеи берутся "по вкусу", без учёта их происхождения и противоречий.
|
|
|
|
|
|
Пример:
|
|
|
|
|
|
@@ -89,10 +71,7 @@
|
|
|
|
|
|
### Подмена развития — подбором
|
|
|
|
|
|
-::: info
|
|
|
-Не развитие через противоречие, а выбор "лучшего" из существующего.
|
|
|
-
|
|
|
-:::
|
|
|
+> Не развитие через противоречие, а выбор "лучшего" из существующего.
|
|
|
|
|
|
Пример:
|
|
|
|
|
|
@@ -100,28 +79,19 @@
|
|
|
|
|
|
### Игнорирование противоречий
|
|
|
|
|
|
-::: info
|
|
|
-Эклектик замазывает разрывы, вместо того чтобы их преодолевать.
|
|
|
-
|
|
|
-:::
|
|
|
+> Эклектик замазывает разрывы, вместо того чтобы их преодолевать.
|
|
|
|
|
|
Он говорит:
|
|
|
|
|
|
-- «Ну и что, что @мут внутри @фикс? Пусть будет — удобно».
|
|
|
+> «Ну и что, что @мут внутри @фикс? Пусть будет — удобно».
|
|
|
|
|
|
### Субъективизм
|
|
|
|
|
|
-::: info
|
|
|
-Критерий истины — не практика, а *личное предпочтение*, *мода*, *авторитет*.
|
|
|
-
|
|
|
-:::
|
|
|
+> Критерий истины — не практика, а *личное предпочтение*, *мода*, *авторитет*.
|
|
|
|
|
|
### Статичность
|
|
|
|
|
|
-::: info
|
|
|
-Эклектика не порождает нового — она *переставляет старое*.
|
|
|
-
|
|
|
-:::
|
|
|
+> Эклектика не порождает нового — она *переставляет старое*.
|
|
|
|
|
|
💬 Эклектика — как мешок с барахлом:
|
|
|
|
|
|
@@ -144,12 +114,12 @@
|
|
|
|
|
|
Одно из принятых правил для реализации в языке программирования **prolet**:
|
|
|
|
|
|
-> В prolet не будет абстрактных типов вроде int, string.
|
|
|
+> В prolet не будет абстрактных типов вроде int, string.
|
|
|
> Будут только типы сущего.
|
|
|
|
|
|
Это правило на основе применения диалектики:
|
|
|
|
|
|
-> это разрешение противоречия между идеализмом типов и материализмом практики,
|
|
|
+> это разрешение противоречия между идеализмом типов и материализмом практики,
|
|
|
> и разрешает его через синтез:
|
|
|
>
|
|
|
> «тип — форма сущего, зафиксированная в практике».
|
|
|
@@ -159,17 +129,18 @@
|
|
|
> «давайте возьмём:
|
|
|
>
|
|
|
> - type из TypeScript,
|
|
|
-> - struct из C,
|
|
|
-> -class из Python и смешаем
|
|
|
+> - struct из C,
|
|
|
+> -class из Python и смешаем
|
|
|
|
|
|
это была бы эклектика.
|
|
|
|
|
|
-## 🏁 Заключение
|
|
|
+Эклектика часто привлекает к себе внимание, но рискует потерять связность: если вы возьмете `snake_case` и `struct` без анализа их взаимосвязи, вы можете создать язык, где структуры не соответствуют смыслу, но «удобно» для разработчика.
|
|
|
+
|
|
|
+Диалектика не против эклектики — она предлагает *системную основу* для её применения: выбор между `snake_case` и `camelCase` зависит от того, как они вписываются в *онтологию языка*, а не только от личного предпочтения.
|
|
|
|
|
|
-::: success
|
|
|
-**Диалектика** — оружие революционного мышления.
|
|
|
+## 🏁 Заключение
|
|
|
|
|
|
-:::
|
|
|
+> **Диалектика** — оружие революционного мышления.
|
|
|
|
|
|
Она требует труда, дисциплины, борьбы с собственным невежеством.
|
|
|
|
|
|
@@ -178,13 +149,13 @@
|
|
|
|
|
|
💬 Гегель как-то сказал:
|
|
|
|
|
|
-> Диалектика есть „алгоритм“ философии…
|
|
|
-> Эклектика — это когда человек берёт то одно, то другое,
|
|
|
+> Диалектика есть „алгоритм“ философии…
|
|
|
+> Эклектика — это когда человек берёт то одно, то другое,
|
|
|
> не видя связи между ними, и делает из этого „философию“.
|
|
|
|
|
|
💬 А. Ф. Лосев писал:
|
|
|
|
|
|
-> Диалектика есть подлинный и единственно возможный
|
|
|
+> Диалектика есть подлинный и единственно возможный
|
|
|
> философский реализм.
|
|
|
|
|
|
-Именно поэтому язык программирования **prolet** — не очередной DSL основанный на авторитете как частном мнении, а язык, отражающий единство материи, времени и практики.
|
|
|
+Именно поэтому язык программирования **prolet** — не очередной DSL основанный на авторитете как частном мнении, а язык, отражающий единство материи, времени и практики.
|
SVI