Язык программирования в духе диалектического материализма
SVI
f02e8069e2
Добавление документациии
|
il y a 9 mois | |
|---|---|---|
| cmd | il y a 9 mois | |
| docs | il y a 9 mois | |
| lang | il y a 9 mois | |
| vendor | il y a 9 mois | |
| vm | il y a 9 mois | |
| .gitignore | il y a 9 mois | |
| Makefile | il y a 9 mois | |
| README.md | il y a 9 mois | |
| go.mod | il y a 9 mois | |
| go.sum | il y a 9 mois |
README.md
prolet
Язык программирования в духе диалектического материализма
Документация
- Философия в проектировании языков
- Отрицание эклектики в построении языка
- Контекст создания нового языка
- Диалектико-теоретические требования к языку
- Разрешение диалектических противоречий на новом уровне
- Многоэтажность языка
- Диалектика стиля нотации
- Диалектика формы языка программирования
- Диалектическое развитие S-выражений
- Диалектика развития языка
- Диалектика динамики типов
- Диалектическая несостоятельность nil
- Диалектическая онтология типов
- Диалектика становления
- Диалектика изменяющего и трансформирующего действия
- Присвоение результатов как диалектическое отражение времени
- Взгляд на виртуальную машину через диалектику бытия
- Диалектика статических обобщённых типов
- Атомы языка
- ВМ
- Система типов
Лицензия
Язык распространяется под лицензией UCL.