Лиспекс

Эта страница описывает v1.13. Проверьте, является ли она текущим руководством: /version.json

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

Сначала посмотрите на форму

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

(+ 2 3)

5

Вложенные формы читаются изнутри наружу. Здесь >= отвечает на вопрос, а if выбирает одно из двух значений-данных:

(define total 62)

(if (>= total 50)
    '(decision free-shipping)
    '(decision standard-shipping))

(decision free-shipping)

Апостроф перед '(decision free-shipping) означает: «сохранить этот список как данные». Без него Лиспекс попытался бы вызвать процедуру decision. Способность одной формы быть кодом или данными — одна из идей, которые курс вводит постепенно.

Для каких задач подходит Лиспекс

Он удобен для проверок права, сроков возврата, ценовых границ, выбора маршрута и повторяемых преобразований. Эталонная среда использует детерминированный порядок вычисления, точную арифметику там, где она возможна, и устойчивую диагностику. Небольшое правило проще повторить и сравнить.

Обычные продукты tree и нескольких маршрутов, включая авторский запуск MCP, не учитывают всю работу под управлением гостя и все логические выделения, поэтому используйте их только с доверенными правилами. Для недоверенного правила Native-команда lispex embed предоставляет меньший ограниченный профиль с детерминированными лимитами работы и логических выделений, без возможностей хоста и fallback. Это внутрипроцессный ограниченный вычислитель, а не sandbox уровня операционной системы: отмена вызова или завершение процесса не дают решения или portable core.

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

Выберите вход

Точные изображения, проверенный байткод Native и Lispex Vouch — полноценные возможности продукта, но не условия для изучения языка. Изображение переносит точный исходник, байткод даёт явный локальный маршрут VM, а Vouch аутентифицирует правило и проверяет закреплённый потребителем запрос перед локальным gate решения. Сначала освойте маленький язык — тогда эти пути будут понятнее.

Обещание руководства

Документация различает возможности и негарантии. Rust — эталонная среда. LIL и LIT — проверочные бэкенды с ограниченным охватом, а не скрытый запасной запуск и не доказательство полного совпадения. Для курса это знать не обязательно. Вернитесь к Средам и бэкендам, когда понадобится развёртывание или перекрёстная проверка.

Готовы? Откройте Путь обучения или сразу Первую программу, если предпочитаете учиться запуская код.