# prolet

Язык программирования в духе диалектического материализма

## Документация

> Мы создаём язык не для себя. Мы создаём его для тех, кто придёт после.
> Чтобы они не тратили годы на отладку того, что можно было предотвратить.
> Чтобы они строили будущее — а не чинили прошлое.
> Чтобы технологии служили человеку — а не превращали его в винтик.
> Чтобы хорошее не отбрасывалось, а плохое — не принималось.
> Чтобы время — самый ценный ресурс — тратилось на творчество,
> а не на борьбу с инструментом.

- phi.00_10 [Философия в проектировании языков](./docs/00_10.md)
- phi.00_20 [Отрицание эклектики в построении языка](./docs/00_20.md)
- pro.01_10 [Контекст создания нового языка](./docs/01_10.md)
- pro.01_20 [Диалектико-теоретические требования к языку](./docs/01_20.md)
- pro.01_30 [Разрешение диалектических противоречий на новом уровне](./docs/01_30.md)
- pro.01_40 [Многоэтажность языка](./docs/01_40.md)
- pro.01_50 [Диалектика стиля нотации](./docs/01_50.md)
- pro.01_55 [Диалектика формы языка программирования](./docs/01_55.md)
- pro.01_60 [Диалектическое развитие S-выражений](./docs/01_60.md)
- pro.01_70 [Диалектика развития языка](./docs/01_70.md)
- pro.01_80 [Диалектика динамики типов](./docs/01_80.md)
- pro.01_90 [Диалектическая несостоятельность nil](./docs/01_90.md)
- pro.02_10 [Диалектическая онтология типов](./docs/02_10.md)
- pro.02_20 [Диалектика становления](./docs/02_20.md)
- pro.02_30 [Диалектика изменяющего и трансформирующего действия](./docs/02_30.md)
- pro.02_40 [Присвоение результатов как диалектическое отражение времени](./docs/02_40.md)
- pro.02_50 [Виртуальная машина как орудие материальной практики](./docs/02_50.md)
- pro.02_60 [Диалектика статических обобщённых типов](./docs/02_60.md)
- pro.02_70 [Работа с сущностями в логике диалектического материализма](./docs/02_70.md)
- pro.02_80 [Контексты вычислений](./docs/02_80.md)
- pro.02_90 [Ассемблер prolet](./docs/02_90.md)
- pro.03_10 [Набор команд ассемблера](./docs/03_10.md)
- Атомы языка
- ВМ
- Система типов

## Лицензия

Язык распространяется под лицензией [Универсальной коммунистической лицензией (УКЛ/UCL)](https://gitp78su.ipnodns.ru/svi/ucl).