|
|
@@ -62,7 +62,8 @@
|
|
|
Философия: `безопасность через практику владения`
|
|
|
|
|
|
Отношение к уровню абстракции: `Чёткая граница: (unsafe) как зона сознательного риска`
|
|
|
-Экономия мыслетоплива: сложный вывод типов, но безопасность снижает ошибки (ставит в ступор новичков ,психологически давит на профи)
|
|
|
+
|
|
|
+Экономия мыслетоплива: сложный вывод типов, но безопасность снижает ошибки (ставит в ступор новичков, психологически давит на профи, вызывает стресс при длительном использовании)
|
|
|
|
|
|
Семантический контекст перехода: с использованием `unsafe` чёткая граница
|
|
|
|
|
|
@@ -70,11 +71,13 @@
|
|
|
|
|
|
Гибкость и развитие: средняя (макросы, но в рамках системы типов)
|
|
|
|
|
|
-Педагогическая эффективность: низкая (высокий порог входа, не следует принципам научной педагогики)
|
|
|
+Педагогическая эффективность: низкая (высокий порог входа, крутая кривая обучения, не следует принципам научной педагогики)
|
|
|
|
|
|
## Диалектическая оценка каждого подхода
|
|
|
|
|
|
-`Pascal` — метафизический идеализм в синтаксисе
|
|
|
+### `Pascal`
|
|
|
+
|
|
|
+Метафизический идеализм в синтаксисе
|
|
|
|
|
|
Суть: мир должен быть упорядочен сверху, иерархически, без противоречий.
|
|
|
|
|
|
@@ -85,19 +88,21 @@
|
|
|
- отрицает движение,
|
|
|
- подавляет противоречие, делает вид, что его нет.
|
|
|
|
|
|
-Это как попытаться остановить классовую борьбу указом.
|
|
|
+Это как попытаться указом правительства приказать гражданам быть счастливыми в условиях массового нищеского существования.
|
|
|
|
|
|
Противоречие не исчезает — оно вытесняется и возвращается с удвоенной силой.
|
|
|
|
|
|
-Пример: в `Pascal` нет прямого доступа к памяти — но это не устраняет потребность в нём, а заставляет писать обходные пути, что увеличивает когнитивную нагрузку.
|
|
|
+Пример: в `Pascal` нет прямого доступа к памяти — но это не устраняет потребность в нём, а заставляет нарушать целостность системы в поиске обходных путей, что увеличивает когнитивную нагрузку.
|
|
|
|
|
|
-### Вывод
|
|
|
+#### Вывод по Pascal
|
|
|
|
|
|
`Pascal` — учит дисциплине, но не учит диалектике.
|
|
|
|
|
|
Он экономит мыслетопливо за счёт ограничения развития.
|
|
|
|
|
|
-`Lisp` — платонический идеализм: «всё — форма»
|
|
|
+### `Lisp`
|
|
|
+
|
|
|
+Платонический идеализм: «всё — форма»
|
|
|
|
|
|
Суть: язык — это метаязык, способный породить любую парадигму.
|
|
|
|
|
|
@@ -118,14 +123,16 @@
|
|
|
- Для эксперта — свобода, полёт мысли.
|
|
|
- Для новичка — хаос, отсутствие ориентиров, повышенная ошибка из-за семантической неопределённости.
|
|
|
|
|
|
-### Вывод
|
|
|
+#### Вывод по Lisp
|
|
|
|
|
|
`Lisp` — великий инструмент, но педагогически неустойчив.
|
|
|
|
|
|
- Он развивает, но не направляет.
|
|
|
- Он гибок, но не контролируем.
|
|
|
|
|
|
-`Rust` — попытка диалектического перехода
|
|
|
+### `Rust`
|
|
|
+
|
|
|
+Попытка диалектического перехода
|
|
|
|
|
|
Суть: безопасность не за счёт запрета, а за счёт новой формы организации труда с памятью — владение, заимствование, жизнь.
|
|
|
|
|
|
@@ -142,7 +149,7 @@
|
|
|
- Высокий порог входа,
|
|
|
- Макросы — мощные, но не интегрированы в педагогическую логику.
|
|
|
|
|
|
-Вывод:
|
|
|
+#### Вывод по Rust
|
|
|
|
|
|
`Rust` — ближе всех к диалектике, но ещё не диалектичен в полной мере.
|
|
|
|
|
|
@@ -268,7 +275,7 @@ unsafe, система владения как основы материалис
|
|
|
В низкоуровневый блоке:
|
|
|
|
|
|
- Запрещены высокоуровневые коллекции,
|
|
|
-- Нет сборки мусора, но кеть освобождение контекста при выходе из области видимости.
|
|
|
+- Нет сборки мусора, но есть освобождение контекста при выходе из области видимости.
|
|
|
- Только явные операции.
|
|
|
|
|
|
Это сужает мышление до необходимого минимума, снижая вероятность ошибки.
|
SVI