Lispex — профиль Scheme R7RS-small без макросов, построенный вокруг детерминированного вычисления, эталонного интерпретатора на Rust и проверяемых свидетельств выполнения.
Кратко
LISPEX
(map (lambda (n) (* n 10)) (filter even? (list 1 2 3 4 5 6)))Результат
OUTPUT
(20 40 60)Текущие гарантии
- Текущий исполняемый профиль фиксирует порядок вычисления, печать чисел, диагностику, передачу управления и ресурсы, а не наследует значения среды.
- Нативный CLI — эталонный интерпретатор. npm, публичный WASM и песочница происходят от той же реализации на Rust.
- Руководство отделяет гарантии языка от проверок квитанций Vouch и артефактов Bridge.
Границы
- Lispex не заявляет полное покрытие R7RS, независимость бэкендов или доказательство семантической эквивалентности.
- Текущий продукт — интерпретатор, а не компилятор, выпускающий целевой код.