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