Лиспекс — небольшой Лисп для решений, которые должно быть легко перечитать. Правило остаётся обычным текстом, одинаковый ввод даёт одинаковый наблюдаемый ответ в документированных пределах, а результат можно оставить в виде данных, не пряча его внутри приложения.
Сначала посмотрите на форму
Программа на Лиспексе состоит из значений и форм в скобках. В вычисляемой форме первое имя указывает действие, остальные выражения передают ему входы:
(+ 2 3)Результат
5Вложенные формы читаются изнутри наружу. Здесь >= отвечает на вопрос, а if
выбирает одно из двух значений-данных:
(define total 62)
(if (>= total 50)
'(decision free-shipping)
'(decision standard-shipping))Результат
(decision free-shipping)Апостроф перед '(decision free-shipping) означает: «сохранить этот список как
данные». Без него Лиспекс попытался бы вызвать процедуру decision. Способность
одной формы быть кодом или данными — одна из идей, которые курс вводит
постепенно.
Для каких задач подходит Лиспекс
Он удобен для проверок права, сроков возврата, ценовых границ, выбора маршрута и повторяемых преобразований. Эталонная среда использует детерминированный порядок вычисления, явные ограничения ресурсов, точную арифметику там, где она возможна, и устойчивую диагностику. Небольшое правило проще повторить и сравнить.
Лиспекс намеренно не является универсальной оболочкой операционной системы. Он не прячет сеть, часы, случайность или импорт пакетов внутри решения. Приложение передаёт ввод и само решает, что делать с возвращённым значением.
Выберите вход
| Если вы хотите… | Откройте |
|---|---|
| выучить язык за четыре шага | Путь обучения |
| запустить код без установки | Песочницу |
| увидеть повседневный синтаксис на одной странице | Синтаксис одним взглядом |
| установить локальную среду | Первую программу |
| собрать и запустить проверенный Native-артефакт | Запуск проверенного байткода |
| найти точную форму или процедуру | Справочник синтаксиса или Указатель процедур |
Точные изображения, проверенный байткод Native и Lispex Vouch — полноценные возможности продукта, но не условия для изучения языка. Изображение переносит точный исходник, байткод даёт явный локальный маршрут VM, а Vouch аутентифицирует правило и проверяет закреплённый потребителем запрос перед локальным gate решения. Сначала освойте маленький язык — тогда эти пути будут понятнее.
Обещание руководства
Документация различает возможности и негарантии. Rust — эталонная среда. LIL и LIT — ограниченные проверочные бэкенды, а не скрытый запасной запуск и не доказательство полного совпадения. Для курса это знать не обязательно. Вернитесь к Средам и бэкендам, когда понадобится развёртывание или перекрёстная проверка.
Готовы? Откройте Путь обучения или сразу Первую программу, если предпочитаете учиться запуская код.