pro_readme.md 3.9 KB
prolet
Язык программирования в духе диалектического материализма
Документация
Мы создаём язык не для себя. Мы создаём его для тех, кто придёт после. Чтобы они не тратили годы на отладку того, что можно было предотвратить. Чтобы они строили будущее — а не чинили прошлое. Чтобы технологии служили человеку — а не превращали его в винтик. Чтобы хорошее не отбрасывалось, а плохое — не принималось. Чтобы время — самый ценный ресурс — тратилось на творчество, а не на борьбу с инструментом.
- phi.00_10 Философия в проектировании языков
- phi.00_20 Отрицание эклектики в построении языка
- pro.01_10 Контекст создания нового языка
- pro.01_20 Диалектико-теоретические требования к языку
- pro.01_30 Разрешение диалектических противоречий на новом уровне
- pro.01_40 Многоэтажность языка
- pro.01_50 Диалектика стиля нотации
- pro.01_55 Диалектика формы языка программирования
- pro.01_60 Диалектическое развитие S-выражений
- pro.01_70 Диалектика развития языка
- pro.01_80 Диалектика динамики типов
- pro.01_90 Диалектическая несостоятельность nil
- pro.02_10 Диалектическая онтология типов
- pro.02_20 Диалектика становления
- pro.02_30 Диалектика изменяющего и трансформирующего действия
- pro.02_32 Отражение времени и пространства на язык
- pro.02_34 Отражение относительности пространства и времени на язык
- pro.02_36 Отражение релятивисткого фотона-события на язык
- pro.02_38 Отражение гравитации на язык
- pro.02_40 Присвоение результатов как диалектическое отражение времени
- pro.02_50 Виртуальная машина как орудие материальной практики
- pro.02_60 Диалектика статических обобщённых типов
- pro.02_70 Работа с сущностями в логике диалектического материализма
- pro.02_80 Контексты вычислений
- pro.02_90 Кварковый уровень prolet
- pro.03_10 Набор кварков пролет
- pro.03_12 Материальность модели протонов
- pro.03_20 Кварк действия
- Атомы языка
- ВМ
- Система типов
Лицензия
Язык распространяется под лицензией Универсальной коммунистической лицензией (УКЛ/UCL).