Начало работы с Lispex

Это прежнее руководство для начинающих. Чтобы начать обучение по актуальной документации, откройте «Первую программу» или «Путь обучения».

Самый быстрый способ освоиться с Lispex это сразу выполнить код. Используйте Песочницу для первого запуска без установки, npm CLI если у вас уже есть Node, или автономный нативный бинарник для скриптов без зависимостей и генерации квитанций Lispex Vouch.

Установка или запуск в браузере

Песочница. Самый быстрый путь это Песочница. Эталонный интерпретатор, написанный на Rust и скомпилированный в WASM, выполняет код прямо в браузере, без установки.

Нативный бинарник. Установите автономный бинарник, если вам нужен lispex diff-receipt, CLI без зависимостей или установка на сервер/в скрипт без Node.

BASH

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

POWERSHELL

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

Бинарники и контрольные суммы можно также скачать вручную на странице загрузок.

npm. Используйте npm, если у вас есть Node 18+ и нужны lispex run, lispex verify или lispex replay.

BASH

npm install -g lispex

Песочница и npm CLI используют WASM-сборку того же эталонного интерпретатора на Rust. Нативный бинарник запускает тот же интерпретатор напрямую и является публичным путём генерации квитанций.

Проверьте установку:

BASH

lispex --version

Первый запуск

Создайте файл hello.lspx. Первая строка это необязательный заголовок, который закрепляет версию входной грамматики.

LISPEX

;! lispex 1.4

(define message "Hello, Lispex!")
message

Запустите файл.

BASH

lispex run hello.lspx

Песочница в браузере и CLI используют одну и ту же семантику эталонного интерпретатора. В v1.4 эта общая поверхность стала шире: apply, values, call-with-values, modulo, string-append и number->string проверяются как в нативном интерпретаторе, так и в WASM-сборке, которую используют Песочница и npm-пакет.

Проверка артефактов Lispex Vouch

Lispex Vouch добавляет проверяемый поток квитанций для корпусов правил, которые вы фиксируете в своих проектах. lispex verify офлайн проверяет дифференциальную квитанцию, а lispex replay сравнивает корпус решений с версией или набором квитанций.

BASH

lispex diff-receipt --input inputs/age-threshold.datum rules/age-threshold.lspx > receipts/age-threshold.json
lispex verify receipts/age-threshold.json
lispex replay decision-gallery --against decision-gallery/expected

Первую команду запускайте в нативном автономном бинарнике. Это публичный путь генерации квитанций, который пишет JSON csk.differential-receipt/v0 в stdout. npm CLI выполняет офлайн-команды verify и replay для существующих артефактов. Квитанция записывает точные правило, ввод, наблюдения и хэши. Нативный Ваучер добавляет аутентификацию издателя и согласие текущего выполнения, а хост-приложение записывает, кто, когда и в каком развёртывании применил итоговое решение.

Следующие шаги

Запустите ещё код в Песочнице.
Скачайте автономный бинарник на странице загрузок.
Изучите «Синтаксис», токены, литералы, базовые и производные формы, нормализацию.
Напишите первые настоящие правила, одобрение возврата и ставку скидки, в руководстве «Пишем решающие правила».
Посмотрите руководства о модулях возможностей и запуске на целевых средах.
Прочитайте Lispex Vouch о проверяемом подмножестве, квитанциях, verify и replay.

Мы рады увидеть, что вы создадите на Lispex.