LIT — интерпретатор Lispex, написанный на Топазе. Проект использует его для ограниченной внутренней и интеграционной проверки. Одна и та же эталонная версия исходного кода выполняется напрямую, через сгенерированные программы Rust и Python, а также в браузере. Такая требовательная программа помогает находить дефекты проверки, генерации кода, среды выполнения и взаимодействия с окружением.
Какой путь выбрать
- Для выпуска приложения на Топазе выберите одну из поддерживаемых целей Топаза.
- Чтобы понять назначение LIT, рассматривайте его как свидетельство совместной работы нескольких частей инструментария на крупной программе Lispex.
- Чтобы пользоваться Lispex как продуктом, обратитесь к документации Lispex. Здесь описана только граница, наблюдаемая со стороны Топаза.
Что означает результат
Успешная проверка LIT означает, что указанная программа в пределах выбранных возможностей и маршрутов выполнилась ожидаемым образом. Неподдерживаемые возможности завершаются явной ошибкой. Все четыре маршрута происходят из одной линии исходного кода, поэтому их согласие помогает находить регрессии, но не является свидетельством четырёх независимых реализаций и не доказывает эквивалентность языков целиком.
Граница продукта
LIT не входит в установку Топаза и не является целью сборки; пути продукта
--target lit не существует. LIT не добавляет в Топаз синтаксис, примитивы,
пакеты, ABI или гарантии среды выполнения Lispex. Эти проверки применяются,
когда нужны свидетельства о связанной части компилятора или границе с
окружением, но они не превращают любую программу Lispex в поддерживаемое
приложение на Топазе.