prolet

prolet

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

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

• Философия в проектировании языков
• Отрицание эклектики в построении языка
• Контекст создания нового языка
• Диалектико-теоретические требования к языку
• Разрешение диалектических противоречий на новом уровне
• Многоэтажность языка
• Диалектика стиля нотации
• Диалектика формы языка программирования
• Диалектическое развитие S-выражений
• Диалектика развития языка
• Диалектика динамики типов
• Диалектическая несостоятельность nil
• Диалектическая онтология типов
• Диалектика становления
• Диалектика изменяющего и трансформирующего действия
• Присвоение результатов как диалектическое отражение времени
• Взгляд на виртуальную машину через диалектику бытия
• Диалектика статических обобщённых типов
• Атомы языка
• ВМ
• Система типов

Лицензия

Язык распространяется под лицензией UCL.