Загрузки

Все ссылки на этой странице закреплены за указанным ниже выпуском. Скрипты установки находят текущий выпуск и сравнивают загруженный бинарник с файлом контрольной суммы SHA-256, опубликованным рядом.

Выпуск v1.18.0

Все платформы

Необязательные дополнительные движки для macOS ARM64

Обычно их ставит команда Native routes fetch. Дополнительным движком здесь называется другой способ выполнять Лиспекс, который вы ставите намеренно, и Лиспекс никогда не выбирает его за вас. Неизменяемые ссылки ниже открывают ровно два дополнительных архива и каталог, встроенный в бинарник Native, чтобы аудит и документированная офлайн-установка не требовали угадывать версию.

Точные байты небольшого движка правил

Приложение может закрепить те же байты движка, которые встроены в Native. Этот движок выполняет одно правило в объявленных вами пределах и ничего не берёт извне. Манифест фиксирует, что движок покрывает, как он считает работу, как значения передаются внутрь и наружу, что обязано быть в квитанции, границы памяти и контрольную сумму. Рядом лежат записанные байты запроса и результата, поэтому любой, кто использует движок, может сам убедиться, что у него получаются ровно те же байты.

Точные байты движка правил для всего языка

Отдельный компонент покрывает весь профиль языка lispex-profile-1.5 и несёт собственные идентификаторы для того, что он покрывает, для счёта работы, для самого компонента и для артефакта. Он повторно использует уже признанные достаточными способ передачи значений, запись хода выполнения и вид записи, которую можно передать дальше, не переименовывая и не расширяя меньший продукт. Native выбирает его только явными командами embed full и создаёт новый экземпляр для каждой операции.

Установка одной командой

# macOS / Linux
curl -fsSL https://www.lispex.com/install.sh | sh

# Windows (PowerShell)
irm https://www.lispex.com/install.ps1 | iex

# npm (Node 18+)
npm install -g lispex

Проверьте установленную команду

После успешной установки выводится точная версия продукта. Проверку можно повторить в любой момент.

lispex --version
# Ожидаемый результат: lispex v1.18.0

Если команда не найдена

• В macOS и Linux по умолчанию используется каталог ~/.lispex/bin. Добавьте его в PATH и перезапустите оболочку.
• В Windows по умолчанию используется каталог %LOCALAPPDATA%\Lispex\bin. Добавьте его в пользовательский PATH и откройте новое окно PowerShell.
• Для npm убедитесь, что активен Node 18 или новее, а каталог глобальных исполняемых файлов npm входит в PATH.

Какой способ запуска выбрать?

• Выбирайте Native, когда нужен самый широкий набор инструментов. Здесь есть встроенный интерпретатор, который просто читает ваш исходник и сразу его выполняет и которому больше ничего не нужно ставить, отдельный небольшой движок, выполняющий одно правило в объявленных вами пределах, явная виртуальная машина Rust для проверенного байткода, команды, которые показывают промежуточные формы программы, точные изображения Лиспекса и весь процесс Ваучера Лиспекса. Только здесь живут три вещи, а именно выдача свидетельства, повторное выполнение закреплённого вами запроса и локальная проверка gate, которая проходит только тогда, когда закреплённое правило на этой машине снова даёт ровно подписанное решение. Артефакт, собранный из того же точного исходника, тоже относится к Native, и к нему можно добавить необязательное требование согласия виртуальной машины.
• Выбирайте npm, когда Node уже установлен. Он выполняет исходники, даёт через Rust, скомпилированный в WebAssembly, те же команды точных изображений и аутентифицирует свидетельства Ваучера той же проверкой, что и Native. Команд для промежуточных форм и байткода здесь нет, чтения собранных артефактов тоже, виртуальной машины тоже. В Ваучере npm аутентифицирует, а ещё несёт команду повтора корпуса решений, и этот повтор лишь сравнивает записанные квитанции офлайн и никогда не запускает интерпретатор заново. Прямо отказывает он в выдаче свидетельства, в режиме повторного выполнения у verify и в локальной проверке gate, и все три остаются за Native.
• Выбирайте Песочницу, чтобы без установки выполнять исходники, создавать, открывать, листать, восстанавливать и загружать точные изображения и затем явно запускать их, целиком в браузере. Импорта промежуточных форм и байткода нет, виртуальной машины нет, а артефакты Ваучера, ключи, аутентификация и инструменты политики не открываются.