Загрузки

Установка Лиспекса

Скачайте исполняемый файл Native для своей операционной системы или установите его одной командой.

Версия загружаемых файлов v1.21.3

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

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

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

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

Проверка версии

Откройте новый терминал и выполните эту команду. Native выводит своё имя и версию.

lispex --version

lispex 1.21.3

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

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

Установка в проект через npm

Если у вас Node 18 или новее, установите пакет npm в папку проекта.

npm install lispex

Проверьте версию через npx в той же папке. npx запускает команду lispex, установленную в этой папке. Пакет npm выводит только номер версии.

npx lispex --version

1.21.3

Сохраните эту программу в той же папке в файл hello.lspx.

(define language "Lispex")

(list 'hello language (+ 2 3))

Запустите файл через npx. Команда выводит этот результат, завершается с кодом 0 и не создаёт файлов.

npx lispex hello.lspx

(hello "Lispex" 5)

Чтобы команда lispex работала в любой папке, можно также установить пакет глобально. Если установлен и Native, команда lispex запускает тот продукт, чей каталог стоит в PATH раньше.

npm install -g lispex

Если команда не найдена, убедитесь, что активен Node 18 или новее, а каталог глобальных исполняемых файлов npm входит в PATH.

Работа без установки

Песочница выполняет Лиспекс в браузере, ничего устанавливать не нужно. Урок «Первая программа» начинается в Песочнице, поэтому его можно пройти до установки.

Другие формы поставки

Где запускать

Все три продукта по умолчанию используют интерпретатор Лиспекса. В терминале успешный запуск выводит результат, завершается с кодом 0 и не создаёт файлов. Продуктом называется программа, которую вы устанавливаете или открываете. Способ выполнения определяет, как продукт запускает программу.

• Выбирайте Native для самой широкой поверхности инструментов. В него входят интерпретатор Лиспекса, вычислитель правил с управлением ресурсами, ВМ Лиспекса для проверенного байткода, команды промежуточных форм, точные изображения Лиспекса и полный процесс Ваучера. Native выпускает свидетельства, заново выполняет закреплённый запрос и проводит локальную проверку допуска. Он также выводит скомпилированный артефакт из того же точного исходника и записывает согласие ВМ Лиспекса.
• Выбирайте npm, когда Node уже установлен. Он выполняет исходники, предоставляет те же точные команды изображений через Rust WASM, аутентифицирует свидетельства Ваучера тем же верификатором и офлайн повторяет корпуса решений. Для промежуточных форм, проверенного байткода, ВМ Лиспекса, выпуска свидетельства, текущего повторного выполнения и локальной проверки допуска нужен Native.
• В Песочнице можно прямо в браузере выполнять исходники, создавать, открывать, листать, восстанавливать, загружать и явно запускать точные изображения. Native предоставляет промежуточные формы, байткод и ВМ Лиспекса, а Native и npm предоставляют артефакты и инструменты политики Ваучера.

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

Все файлы выпусков и контрольные суммы также доступны в GitHub Releases. Пакет npm и нативные исполняемые файлы распространяются по лицензии Apache License 2.0, и к каждому выпуску прилагается файл с лицензиями встроенных библиотек.

Версия загружаемых файлов v1.21.3

Контрольная сумма идентифицирует точные загруженные байты. В macOS или Linux положите исполняемый файл и его файл .sha256 в одну папку и выполните эту команду. При совпадении она выводит OK.

# Linux
sha256sum -c lispex-linux-x86_64.sha256

# macOS
shasum -a 256 -c lispex-macos-aarch64.sha256

В Windows PowerShell выполните эти две строки. При совпадении вторая выводит True.

$want = (Get-Content .\lispex-windows-x86_64.exe.sha256).Split(' ')[0]
(Get-FileHash .\lispex-windows-x86_64.exe).Hash -eq $want

В Windows загруженный файл можно запустить прямо из его папки без установки, если положить рядом с ним hello.lspx.

.\lispex-windows-x86_64.exe hello.lspx

Расширение для редактора

Официальное расширение studiohaze.lispex распознаёт файлы .lspx и добавляет подсветку синтаксиса и значок файла Лиспекса для светлой и тёмной тем.

Visual Studio Marketplace · Open VSX Registry

Для форматирования нужен Native. Format Document и форматирование при сохранении передают документ команде lispex fmt - и используют возвращённый исходник. Если lispex нет в PATH, укажите путь к нему в lispex.format.executable.

Компоненты для разработчиков

Точные байты вычислителя правил с управлением ресурсами

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

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

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

Связанные страницы

• Подключение сервера MCP. Native также включает локальный сервер MCP lispex mcp serve. Он находит сведения о языке, объясняет диагностику и вычисляет доверенный исходник в пределах размера и времени.
• Создание и восстановление изображений Лиспекса. Сохраняйте точный исходник в файле PNG или ZIP и восстанавливайте его байт в байт в Native, npm или Песочнице.
• Ваучер Лиспекса. Native аутентифицирует подписанное решение, заново выполняет его с исходником и вводом, которые вы предоставили сами, и записывает результат локальной проверки допуска. Дальнейшее действие определяет приложение.
• Продукты и поддерживаемые платформы. Возможности каждого продукта и то, что подтверждает проверка загрузки.