Справочник промежуточной формы

Полные исходники и команды приведены в руководстве Компиляция правила в промежуточную форму.

Прочитайте результат просмотра

Для примера возврата из руководства отчёт содержит следующие поля. Ниже приведён фрагмент JSON-отчёта.

{
  "requirements": ["explicit-input"],
  "roots": [
    {
      "column": 1,
      "index": 0,
      "line": 1,
      "normalized_core": "(define decide (lambda (days) (if (<= days (quote 30)) (quote refund) (quote review))))"
    },
    {"column": 1, "index": 1, "line": 4, "normalized_core": "(decide input)"}
  ]
}

Корень — выражение верхнего уровня. Первый корень определяет decide. Второй вызывает его с внешним значением input. normalized_core показывает результат преобразования сокращений в основные формы. line и column задают позицию корня в исходнике. Отсчёт начинается с 1.

Ячейка хранит значение переменной. Привязка связывает переменную с ячейкой. Компилятор читает файл .lpxir. Отчёт просмотра показывает выбранные сведения для разбора.

Фиксированные идентификаторы

Реестр примитивов назначает стабильные числовые ID 205 исполняемым встроенным именам. Нормализатор преобразует сокращения, сохраняя пользовательские привязки имён. Его внутренние операции ссылаются прямо на ID примитивов. Встроенные процедуры, доступные из исходника, используют обычные изменяемые глобальные ячейки с этими начальными ID. Поэтому локальное затенение и переопределение верхнего уровня сохраняют поведение языка.

Что записано в файле

Компилятор читает точный исходник, преобразует сокращения в формы Core, разрешает привязки и замыкания, затем кодирует Core IR.

Читаемое представление восстанавливает нормализованный Core, использованный перед преобразованием в Core IR. Другие реализации среды выполнения записывают собственные идентификаторы и результаты выполнения.

Кодирование и строгое чтение

Каноническое кодирование задаёт единственное байтовое представление всех записанных сведений. Они включают идентификатор исходника и позиции в нём. Поэтому две программы с одинаковым результатом могут иметь разные байты Core IR.

Формат — JSON в UTF-8 с фиксированным порядком полей и массивами с тегами. Он использует минимальную десятичную запись неотрицательных целых, точные строки Unicode и ровно один завершающий LF. Для глобальных переменных, требований, захватов, привязок и функций заданы порядок и непрерывность ID.

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

Пределы и идентификаторы файлов

Пределы проверяются до чтения таблиц и выделения памяти.

source_sha256 идентифицирует точные байты исходника с существующим доменом хеша исходника. core_ir_sha256 идентифицирует весь канонический файл с отдельным доменом хеша. Домен хеша — фиксированный префикс, различающий виды хешируемых данных. Получатель использует эти поля отчёта напрямую.

Команды и коды завершения

Команды предоставляет Native.

npm, открытый WASM и Песочница выполняют исходники через эталонную среду выполнения. Различия продуктов описаны в Реализациях среды выполнения.

Meaning Graph и Ваучер Лиспекса

Core IR записывает разрешённые ячейки, захваты и хвостовые позиции нормализованного профиля языка. Native переносит эти сведения в Meaning Graph v1 с сохранением идентификаторов.

Ваучер Лиспекса повторно создаёт Core IR из аутентифицированного точного исходника в процессе компиляции. Аутентификация издателя определяет подписанта. Политика получателя определяет доверие. Привязка исходника и ввода определяет запрос. Повторное выполнение даёт текущий результат, а проверка допуска Ваучера записывает локальное решение. Отдельный скомпилированный контейнер описан в справочнике байткода.