Выбор среды исполнения Лиспекса

Быстрый выбор

Задача	Продукт
выполнить обычный source `.lspx`	эталонный интерпретатор в Native, npm, WebAssembly или Песочнице
выполнить проверенный байткод	Rust VM в Native
сравнить отдельно установленную VM	Топаз VM в Native macOS ARM64
построить автономный executable	Топаз AOT в Native macOS ARM64
выполнить полученное правило с явными ресурсами	`lispex embed` или `lispex embed full`
создать и восстановить точное изображение source	Native, npm, WebAssembly или Песочница
аутентифицировать подписанное свидетельство и вычислить локальный шлюз	Ваучер Native с проверкой npm
изучать SICP	sicp.io, `lispex sicp run`, профиль SICP в Песочнице или `@lispex/sicp`
сравнить семейства реализаций	команды differential, Meaning и route comparison в Native

Эталонный интерпретатор

Эталонный интерпретатор выполняет полный текущий профиль Лиспекса и остаётся стандартным маршрутом для lispex rule.lspx. Он используется для авторской работы и приложений в Native, npm, WebAssembly и Песочнице.

Проверенные виртуальные машины

Native компилирует source через канонический Core IR и проверенный байткод и выполняет Rust VM с --engine vm. На macOS ARM64 Native также использует точную установленную VM Топаза 5.11 и сравнивает обе VM на одном артефакте байткода.

Rust tree и Rust VM разделяют линию реализации Rust. VM Топаза использует отдельно поддерживаемую реализацию source и записывает идентичность producer Топаз Rust Stage 0. Квитанции сравнения публикуют обе линии, точные артефакты, результаты, диагностику и ресурсы.

Автономный продукт AOT

Маршрут Топаз AOT создаёт читаемый Топаз, source map и автономный executable из проверенного потока управления. Он записывает идентичности source, Core IR, байткода, сгенерированного bundle, compiler, executable, запроса, результата и ресурсов.

Исполнение с управлением ресурсами

lispex embed выбирает профиль решений. lispex embed full выбирает полный текущий профиль со всеми 205 строками примитивов. Оба используют компоненты WebAssembly без импортов, новые экземпляры, отдельные ресурсы подготовки и вычисления и portable core.

Изучите и закрепите маршрут

lispex routes inventory --out inventory.json
lispex routes doctor --inventory inventory.json
lispex routes select --route rust-vm --out route.json
lispex routes run --selection route.json rule.lspx

Внешние продукты используют точный абсолютный путь установки. Lock выбора записывает идентичность продукта и маршрут, сохраняя локальные пути вне lock.

Измерьте локальное исполнение

lispex routes measure \
  --selection route.json \
  --samples 3 \
  --input input.datum \
  --out timing.json \
  rule.lspx

Измерение записывает идентичность host, идентичность route, число samples и наблюдения nanosecond этого локального запуска. Квитанции сравнения отдельно записывают результаты языка и счётчики ресурсов.

Доступность продуктов

Продукт	Основные поверхности
Native	все маршруты исполнения, Core IR, байткод, embed, изображения, обмен решениями, Ваучер и SICP
npm	эталонное вычисление, package API, изображения, проверка решений и Ваучера и SICP
WebAssembly	эталонное вычисление, codec изображений и опубликованные компоненты embed и SICP
Песочница	локальное вычисление в браузере, изображения Лиспекса, передача в Native и профиль SICP

Куда дальше

Загрузки · Запуск проверенного байткода · Создание продукта Топаз AOT