|
|
@@ -4,6 +4,15 @@
|
|
|
|
|
|
## Документация
|
|
|
|
|
|
+```citate
|
|
|
+Мы создаём язык не для себя. Мы создаём его для тех, кто придёт после.
|
|
|
+Чтобы они не тратили годы на отладку того, что можно было предотвратить.
|
|
|
+Чтобы они строили будущее — а не чинили прошлое.
|
|
|
+Чтобы технологии служили человеку — а не превращали его в винтик.
|
|
|
+Чтобы хорошее не отбрасывалось, а плохое — не принималось.
|
|
|
+Чтобы время — самый ценный ресурс — тратилось на творчество, а не на борьбу с инструментом.
|
|
|
+```
|
|
|
+
|
|
|
- [Философия в проектировании языков](./docs/phi-000.md)
|
|
|
- [Отрицание эклектики в построении языка](./docs/phi-001.md)
|
|
|
- [Контекст создания нового языка](./docs/prolet-001.md)
|
|
|
@@ -22,6 +31,7 @@
|
|
|
- [Присвоение результатов как диалектическое отражение времени](./docs/prolet-013.md)
|
|
|
- [Взгляд на виртуальную машину через диалектику бытия](./docs/prolet-014.md)
|
|
|
- [Диалектика статических обобщённых типов](./docs/prolet-015.md)
|
|
|
+- [Работа с сущностями в логике диалектического материализма](./docs/prolet-016.md)
|
|
|
- Атомы языка
|
|
|
- ВМ
|
|
|
- Система типов
|
SVI