Продукт сегодня
Лиспекс — детерминированный язык решений. Эталонный интерпретатор на Rust задаёт поведение среды и поддерживает все 205 отслеживаемых строк примитивов. При выбранном профиле ресурсов одинаковые исходный код и ввод дают одинаковый наблюдаемый результат.
Native, npm, WebAssembly, Песочница и sicp.io предлагают разные способы работы с языком. Точные идентификаторы исходного кода и ввода, канонические артефакты, стабильная диагностика и типизированные наблюдения связывают эти поверхности.
| Система | Роль продукта |
|---|---|
| Эталонный интерпретатор | Выполняет исходный код Лиспекса с полным текущим профилем языка. |
| Meaning Graph и Meaning Environment v1 | Проецируют Core IR в явный семантический граф и вычисляют поток управления, общие ячейки, мутации, хвостовые вызовы, одноразовые escape-continuation, динамическую очистку, stdout, значения, предупреждения и ошибки. |
| Core IR и проверенный байткод | Один раз разрешают привязки и хвостовые позиции, компилируют канонический байткод и выполняют его в виртуальной машине Rust. |
| Маршруты Native | Выбирают и инспектируют tree, Rust VM, Топаз VM и Топаз AOT по точным идентификаторам маршрутов и lock-файлам без локальных путей. |
| Embed с управлением ресурсами | Выполняет профиль решений с заданными значениями работы и памяти и создаёт portable core для соответствующих результатов. |
| Full embed | Выполняет все 205 строк примитивов в отдельно идентифицированном WebAssembly-компоненте без импортов и в новом экземпляре для каждой операции. |
| Изображения Лиспекса | Кодируют точные байты исходного кода в канонические PNG- или ZIP-артефакты и восстанавливают их в Native, npm, WebAssembly и Песочнице. |
| Обмен решениями | Объединяет канонические артефакты решений, конверты издателя, политики получателя, привязку запроса, инспекцию, аутентификацию и повторное выполнение. |
| Ваучер | Аутентифицирует подписанное свидетельство решения и позволяет Native провести закреплённый получателем запрос через локальный шлюз решения. |
| SICP | Предоставляет учебную среду @lispex/sicp@1.0.0, команду lispex sicp run, типизированные наблюдения, точные трассы выполнения и поглавный курс на sicp.io. |
| LIL и LIT | Выполняют Лиспекс через реализации на Лиспексе и Топазе. LIL поддерживает 205 из 205 отслеживаемых строк примитивов, LIT — 84 из 205. |
Текущее направление
Завершение семантической структуры
Meaning Graph и Meaning Environment v1 создали основу с явным управлением для общих лексических ячеек, мутаций, хвостового исполнения, escape-control и точных наблюдений. Следующая семантическая работа расширяет поведение среды на этой основе и сохраняет Core IR единственным разрешённым источником смысла.
Рост поддержки LIT
LIT сейчас реализует 84 из 205 отслеживаемых строк примитивов. Meaning Graph v1, Core IR и conformance corpus предоставляют наблюдения исполнения для реализации на Топазе. Каждая новая строка поставляется вместе с прямым поведением, диагностикой и учётом ресурсов.
Удобство точного исполнения
Native продолжает объединять inventory, установку, выбор маршрута, диагностику, измерение, исполнение по lock-файлу и перенос установки. npm и WebAssembly переносят те же канонические артефакты и типизированные результаты в процессы приложений.
Развитие процессов решений
Обмен решениями и Ваучер развиваются вокруг точного исходного кода, точного ввода, политики получателя, аутентифицированного издателя, нового повторного выполнения и явной передачи приложению. Получающее приложение владеет итоговым деловым действием.
Расширение обучения
Курс Лиспекса из шести шагов, справочники, Песочница и курс SICP развиваются вместе. Английские, корейские и русские страницы используют единую систему терминов, а каждый урок связывает исходный код с точным результатом или типизированным наблюдением.
Порядок выпуска
Работа над функцией проверяет её поведение прямо в модуле-владельце. Кандидат в выпуск создаёт неизменяемые артефакты Native и пакетов, выполняет один путь установленного продукта, публикует те же байты и проверяет публичные каналы. Пункт плана получает версию при начале реализации.
Куда дальше
Точная последовательность версий находится в Истории, а принципы продукта — в Философии.