# prolet

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

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

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

- [Философия в проектировании языков](./docs/phi-000.md)
- [Отрицание эклектики в построении языка](./docs/phi-001.md)
- [Контекст создания нового языка](./docs/prolet-001.md)
- [Диалектико-теоретические требования к языку](./docs/prolet-002.md)
- [Разрешение диалектических противоречий на новом уровне](./docs/prolet-003.md)
- [Многоэтажность языка](./docs/prolet-004.md)
- [Диалектика стиля нотации](./docs/prolet-005.md)
- [Диалектика формы языка программирования](./docs/prolet-005-01.md)
- [Диалектическое развитие S-выражений](./docs/prolet-006.md)
- [Диалектика развития языка](./docs/prolet-007.md)
- [Диалектика динамики типов](./docs/prolet-008.md)
- [Диалектическая несостоятельность nil](./docs/prolet-009.md)
- [Диалектическая онтология типов](./docs/prolet-010.md)
- [Диалектика становления](./docs/prolet-011.md)
- [Диалектика изменяющего и трансформирующего действия](./docs/prolet-012.md)
- [Присвоение результатов как диалектическое отражение времени](./docs/prolet-013.md)
- [Взгляд на виртуальную машину через диалектику бытия](./docs/prolet-014.md)
- [Диалектика статических обобщённых типов](./docs/prolet-015.md)
- [Работа с сущностями в логике диалектического материализма](./docs/prolet-016.md)
- Атомы языка
- ВМ
- Система типов

## Лицензия

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