Найдите продукт Лиспекса v1.21.0 с нужной возможностью и узнайте, где он работает. Например, проверенный байткод выполняется в Native, а исходный файл можно запустить в Native и npm. Таблицы на этой странице составляют каталог текущих продуктов.
Установите продукт со страницы загрузок или пройдите первую программу. Справочник CLI перечисляет команды, входные данные и результаты.
Форма поставки и платформа
Native — это загружаемый исполняемый файл. Пакет npm запускает эталонный интерпретатор через WASM в Node.js. Компоненты WASM также можно встроить в приложение. Песочница работает в браузере.
| Форма поставки | Возможности |
|---|---|
| Native для опубликованных целевых платформ | Запуск исходников, форматирование, MCP, Meaning Graph, Core IR, ВМ Лиспекса, оба встраиваемых вычислителя, изображения, обмен решениями, полный процесс Ваучера и SICP |
| CLI и пакет npm | Запуск исходников, изображения, автономная проверка записей и сравнение записанных случаев, политики получателя, аутентификация Ваучера, просмотр и аутентификация пакетов решений, SICP |
| Опубликованные компоненты WASM | API эталонного интерпретатора, кодирование и восстановление изображений, общее ядро проверки, оба вычислителя без импортов и компоненты SICP |
| Песочница | Интерактивный запуск исходников, работа с изображениями и профиль SICP; ссылки на Native и другие загружаемые продукты |
Файлы для каждого варианта распространения перечислены на странице Загрузки.
Возможности выполнения
Профиль языка определяет доступные формы и встроенные процедуры. Профиль ресурсов задаёт лимиты выполнения.
| Возможность | Что выполняется или создаётся | Где использовать |
|---|---|---|
| Интерпретатор Лиспекса | Исходник полного текущего профиля языка с 205 записями встроенных процедур | Native, npm, WASM, Песочница |
| Meaning v1 | Граф, полученный из Core IR, его явное вычисление и запись результата, вывода и диагностики | Native |
| ВМ Лиспекса | Проверенный байткод с явным состоянием выполнения, диагностикой и учётом ресурсов | Native |
Вычислитель решений (embed) | Правила профиля решений с отдельными лимитами подготовки и вычисления | Native и компонент WASM без импортов |
Полный вычислитель (embed full) | Полный текущий профиль языка со всеми 205 записями процедур в новых экземплярах | Native и отдельный компонент WASM без импортов |
| SICP | Учебный профиль, совместимый со Scheme, типизированные результаты, точные трассы выполнения и системы глав | Native, npm CLI, @lispex/sicp, профиль SICP Песочницы, sicp.io |
Meaning v1 поддерживает общие ячейки переменных, изменение значений, хвостовые вызовы, выход из вычисления и динамическую очистку. Два встраиваемых вычислителя являются отдельными продуктами. Каждый создаёт новый экземпляр для каждого запроса. Входные данные и лимиты описаны в справочнике вычислителей.
LIL и LIT выполнили свою задачу внутренней перекрёстной проверки. В Лиспексе 1.21 они выведены из эксплуатации, чтобы снизить дальнейшие затраты на сопровождение. Текущее выполнение в Лиспексе и исторические записи LIL/LIT описаны в справочнике движков.
Файлы и рабочие процессы
| Файл или процесс | Назначение |
|---|---|
| Core IR | Разрешает ссылки имён и записывает привязки, глобальные переменные, встроенные процедуры, хвостовые позиции, координаты исходника и требования в установленном формате |
| Проверенный байткод | Хранит инструкции, которые проверяет и выполняет ВМ Лиспекса |
| Переносимая основная запись | Связывает точное правило, ввод, правила ресурсов, файл вычислителя, протокол выполнения и результат одного запуска |
| Изображение Лиспекса | Хранит точные байты исходника в установленном формате PNG или ZIP для последующего восстановления |
| Каталог решения | Хранит пять локальных файлов для запуска, просмотра, проверки и повторного выполнения решения |
| Обмен решениями | Передаёт записи издателя, политику получателя и привязки запроса для аутентификации и повторного выполнения |
| Ваучер Лиспекса | Аутентифицирует подписанные записи; в Native также вычисляет локальное правило допуска |
Ответственность вызывающего приложения
Среда выполнения вычисляет программы согласно профилю языка. Core IR и байткод используют установленные форматы файлов. Встраиваемые вычислители применяют запрошенные лимиты и создают переносимые основные записи. Обмен решениями создаёт записи издателя и получателя. Ваучер Лиспекса аутентифицирует подписанные записи и вычисляет локальное правило допуска.
Вызывающее приложение задаёт деловую политику, сетевой доступ, проверку актуальности и защиту от повторного использования. Оно также принимает решение о внешнем действии и выполняет его после получения результата. Топаз поддерживает свой компилятор, адаптер, проверки допуска продуктов и выпуски.