Лиспекс рассматривает решающее правило как программу, смысл, ввод, runtime и результат которой можно назвать точно. Язык остаётся близким к Scheme и делает каждый производственный выбор явным.
Пять принципов
- Один языковой контракт.
LISPEX-RUNTIME.mdопределяет формы, значения, процедуры, диагностику и семантику выполнения. - Детерминированные запросы. Точный исходник и явный ввод создают детерминированное наблюдение в именованном ресурсном профиле.
- Фиксированная грамматика. Основные и производные формы нормализуются в один канонический смысл, а 205 имён встроенных процедур поступают из одного реестра.
- Явная граница хоста. Хост-приложение передаёт данные и потребляет решение. Файлы, сеть, часы, транзакции и внешние действия остаются видимыми в архитектуре приложения.
- Типизированные артефакты. Исходник, изображения Лиспекса, Core IR, байткод, квитанции, отчёты аутентификации, повторного выполнения и gate имеют именованные вопросы и получателей.
Выбор продукта
| Выбор | Ценность продукта |
|---|---|
| фиксированный семантический профиль | повторяемые результаты и стабильная диагностика |
| явный ввод и граница хоста | переносимые правила и проверяемая интеграция приложения |
| точный идентификатор исходника | побайтовая проверка, изображения, allowlist политики и привязка запроса |
| ресурсные профили | предсказуемое выполнение и сопоставимые наблюдения |
| квитанции и Ваучер | долговечные записи решений, аутентификация издателя, текущее выполнение и локальные разрешения |
От правила к действию
точный исходник + явный ввод
→ наблюдение эталонного интерпретатора
→ дополнительные канонические изображение, Core IR или байткод
→ квитанция или подписанное свидетельство Ваучера
→ политика получателя и текущее повторное выполнение
→ локальная проверка допуска
→ действие хост-приложенияКаждая стрелка называет продукт, отвечающий за следующее преобразование. Так целостность, аутентификация, текущее выполнение, политика и бизнес-действие проверяются в одном процессе.
Развитие
Новые языковые формы входят одним изменением в языковой контракт, нормализатор, эталонный runtime, прямые поведенческие проверки и публичную документацию. Новые runtime-продукты получают собственные идентификаторы, ресурсные профили и области наблюдения. Эта структура развивает Лиспекс и сохраняет точный смысл опубликованных артефактов.
Текущий каталог продуктов · Среды выполнения и бэкенды · Ваучер Лиспекса