|
|
@@ -1,4 +1,4 @@
|
|
|
-# pro-002 Диалектико-теоретические требования к языку
|
|
|
+# pro.01_20 Диалектико-теоретические требования к языку
|
|
|
|
|
|
Необходимость данного раздела продиктована тем, что без глубокого теоретического обоснования практика слепа. Прежде чем строить язык, необходимо заложить философский фундамент, ибо каждый синтаксис, каждая парадигма, каждый тип — это не просто технический выбор, а выражение мировоззрения.
|
|
|
|
|
|
@@ -14,7 +14,7 @@
|
|
|
- Она не порождение чистого разума, оторванного от практики.
|
|
|
- Она — продукт человеческого труда, направленный на преобразование объективной реальности (аппаратуры, данных, социальных процессов).
|
|
|
|
|
|
-> Программа — это материализованная логика, выраженная в коде;
|
|
|
+> Программа — это материализованная логика, выраженная в коде;
|
|
|
> выполняется на машине, которая изменяет реально существующий мир.
|
|
|
|
|
|
Следовательно, `язык программирования` — инструмент труда, подобный молоту для рабочего или плугу для крестьянина.
|
|
|
@@ -27,10 +27,7 @@
|
|
|
|
|
|
Применительно к языку:
|
|
|
|
|
|
-::: info
|
|
|
-Хороший язык — тот, который наиболее адекватно отражает структуру объективной реальности, в которой работает программа.
|
|
|
-
|
|
|
-:::
|
|
|
+> 💡 Хороший язык — тот, который наиболее адекватно отражает структуру объективной реальности, в которой работает программа.
|
|
|
|
|
|
Это означает:
|
|
|
|
|
|
@@ -52,10 +49,7 @@
|
|
|
|
|
|
Пример идеалистического перекоса:
|
|
|
|
|
|
-::: warn
|
|
|
-Язык, где всё выражается через монады, но никто не может написать HTTP-сервер за 10 минут.
|
|
|
-
|
|
|
-:::
|
|
|
+> ⚠️ Язык, где всё выражается через монады, но никто не может написать HTTP-сервер за 10 минут.
|
|
|
|
|
|
Язык, где синтаксис "чист", но производительность падает в 10 раз. Это как построить прекрасный дворец, который замедляет проход посетителей, потому что эскалатор всегда едет навстречу.
|
|
|
|
|
|
@@ -73,10 +67,7 @@
|
|
|
|
|
|
Общественно-коллективный подход: язык, который освобождает труд от частной зависимости, делает его коллективным, доступным, прозрачным (`Python`, `Rust`, `Lua`).
|
|
|
|
|
|
-::: info
|
|
|
-Язык должен быть орудием освобождения умственного труда, а не инструментом эксплуатации через зависимость.
|
|
|
-
|
|
|
-:::
|
|
|
+> Язык должен быть орудием освобождения умственного труда, а не инструментом эксплуатации через зависимость.
|
|
|
|
|
|
## Язык и сознание: формирование "программиста нового типа"
|
|
|
|
|
|
@@ -87,10 +78,7 @@
|
|
|
- Если язык учит думать в терминах состояния и побочных эффектов — он культивирует хаос.
|
|
|
- Если язык учит думать в терминах потоков данных, чистоты, композиции — он развивает диалектическое мышление.
|
|
|
|
|
|
-::: info
|
|
|
-Язык — это педагогический инструмент.
|
|
|
-
|
|
|
-:::
|
|
|
+> 💡 Язык — это педагогический инструмент.
|
|
|
|
|
|
Новый язык должен:
|
|
|
|
|
|
@@ -98,6 +86,10 @@
|
|
|
- Поощрять коллективную разработку, как преобладающий способ производства на практике
|
|
|
- Обучать ответственности за код (в том числе — экологической, социальной).
|
|
|
|
|
|
+Философская позиция не отменяет практику, но делает её **сознательной и целевой**.
|
|
|
+
|
|
|
+Например: `Инженер должен выбирать между элегантностью и производительностью, зная, что выбор влияет на социальные последствия`.
|
|
|
+
|
|
|
## Философские принципы проектирования языка как постулаты
|
|
|
|
|
|
На основе диалектического материализма следуют шесть фундаментальных принципов:
|
|
|
@@ -169,10 +161,7 @@
|
|
|
|
|
|
Вывод: `язык как орудие революционной смены парадигмы в сознании`
|
|
|
|
|
|
-::: success
|
|
|
-Разработка языка программирования — не инженерная утилитарная задача, а акт философский, политический, имеющий глубокое влияние на сам способ существования общества.
|
|
|
-
|
|
|
-:::
|
|
|
+> 📙 Разработка языка программирования — не инженерная утилитарная задача, а акт философский, политический, имеющий глубокое влияние на сам способ существования общества.
|
|
|
|
|
|
Разрабатываемый язык:
|
|
|
|
SVI