Этот каталог называет продукты Лиспекса v1.20.0 и роль, которой владеет каждый
из них.
Язык и исполнение
| Продукт | Доступное поведение | Публичная поверхность |
|---|
| Эталонный интерпретатор | полный текущий профиль Лиспекса с 205 отслеживаемыми строками примитивов | Native, npm, WebAssembly, Песочница |
| Meaning v1 | проекция Core IR, явное семантическое вычисление, общие ячейки, мутации, хвостовые вызовы, escape-control, динамическая очистка и точные наблюдения | Native |
| Rust VM | канонический Core IR, проверенный байткод, исполнение с явным управлением, диагностика и ресурсы | Native |
| Топаз VM | точный отдельно установленный продукт исполнения Топаза 5.11 | Native macOS ARM64 |
| Топаз AOT | читаемый сгенерированный Топаз, source map, автономный executable и точные идентификаторы build | Native macOS ARM64 |
| Embed с управлением ресурсами | профиль решений с заданными ресурсами подготовки и вычисления | Native и WebAssembly-компонент без импортов |
| Full embed | полный текущий профиль со всеми 205 строками примитивов и новыми экземплярами | Native и WebAssembly-компонент без импортов |
| SICP | учебный профиль, совместимый со Scheme, типизированные наблюдения, точные трассы и системы глав | Native, @lispex/sicp, профиль Песочницы, sicp.io |
| LIL | интерпретатор Лиспекса на Лиспексе с 205 отслеживаемыми строками примитивов | дифференциальные инструменты Native |
| LIT | интерпретатор Лиспекса на Топазе с 84 отслеживаемыми строками примитивов | дифференциальные инструменты Native |
Артефакты и процессы
| Продукт | Роль |
|---|
| Core IR | канонический разрешённый смысл с идентификаторами привязок, globals, primitives, хвостовых позиций, source anchors и requirements |
| Проверенный байткод | канонический артефакт инструкций для маршрутов Rust и Топаз VM |
| Portable core | связывает точное правило, ввод, контракт ресурсов, артефакт вычислителя, transcript и результат |
| Изображение Лиспекса | каноническое PNG- или ZIP-представление точных байтов исходного кода |
| Каталог решения | локальная запись из пяти членов для run, inspect, verify и replay |
| Обмен решениями | конверт издателя, политика получателя, привязка запроса, аутентификация и повторное выполнение |
| Ваучер | аутентификация подписанного свидетельства и локальный шлюз решения Native |
| Каталог маршрутов | получение точного companion-продукта, квитанция установки, lock выбора, диагностика и перенос |
Доступность платформ
| Поверхность | Эталон | Meaning v1 | Rust VM | Маршруты Топаза | Embed | Ваучер | SICP |
|---|
| Native macOS ARM64 | да | да | да | VM и AOT | решения и Full | выдача, проверка, replay, шлюз | да |
| Другие Native | да | да | да | статус каталога | решения и Full | выдача, проверка, replay, шлюз | да |
| npm | да | связь с артефактами Native | inspection артефактов | metadata маршрутов | package API | проверка | да |
| WebAssembly | да | эталонная поверхность | эталонная поверхность | metadata маршрутов | компоненты без импортов | общее ядро проверки | да |
| Песочница | да | руководство продукта | эталонная поверхность | руководство загрузок | руководство продукта | передача в Native | профиль SICP |
Владение продуктами
Профиль runtime владеет смыслом языка. Контракты Core IR и байткода владеют
каноническими артефактами компиляции. Embed владеет вычислением с управлением
ресурсами и portable core. Обмен решениями владеет артефактами издателя и
получателя. Ваучер владеет подписанным свидетельством и вычислением локального
шлюза. Хост-приложение владеет деловой политикой, сетевым доступом,
актуальностью, предотвращением повторного использования и внешними действиями.
Топаз владеет своими продуктами compiler, adapter, admission и release.
Куда дальше
Среды и backend · Проверенные поверхности продукта