Это прежнее описание устройства языка. Актуальные принципы и пример описаны на странице «Философия».
Лиспекс сохраняет знакомую форму Scheme и даёт каждой программе одно фиксированное прочтение. Основные и производные формы нормализуются канонически, встроенные процедуры поступают из одного реестра, а явный ввод создаёт детерминированное наблюдение.
Завершённая языковая поверхность
Языковой контракт определяет синтаксис для каждого файла. Такая форма, как
guard, входит в контракт вместе с нормализацией, поведением runtime,
диагностикой и прямыми проверками.
Исходник Лиспекса читается непосредственно через языковой контракт. Один исходник и ввод сохраняют смысл в эталонном runtime, артефактах и последующих выпусках.
Точные артефакты
Исходник Лиспекса проходит через канонические изображения, Core IR, байткод, квитанции и Ваучер. Каждое представление записывает свой идентификатор и следующего получателя. Хост-приложение явно передаёт данные, контекст транзакции и внешние действия.
Актуальная страница философии связывает эти принципы со всеми публичными продуктами.