Этот план показывает приоритеты и степень готовности, а не обещанные даты. Упомянутая здесь возможность не становится частью текущего языка или публичного выпуска, пока это прямо не указано в её документации.
Сейчас
- Текущий публичный продукт — Topaz 5.7.0 с режимом языка
topaz-5.7. - Компилятор, среда выполнения, установщик npm, артефакты, документация и Playground обозначают одну линию 5.7.
- Изменяемый
ByteBufferфиксированной длины устраняет узкое место сборки упакованных байтов, сохраняя совместимость неизменяемогоBytesи существующих контрактов native, Python, raw Web и Web Worker. - Установленный Web Application Loop создаёт, проверяет, тестирует, обслуживает, упаковывает и запускает типизированное браузерное приложение как полный управляемый статический комплект; Data Lens и Markdown Live используют этот путь автономно.
- При изменении связанной реализации запускать целевые дифференциальные проверки. Полные кроссплатформенные и полные дифференциальные кампании оставлять только для RC публичного минорного релиза, которому они принадлежат.
Далее
- Продолжать dogfooding установленного браузерного пути поддерживаемыми приложениями и исправлять только воспроизведённые блокеры.
- Определить явные границы HTTP-сервиса, локального хранения и сети по запросам реальных приложений.
- Улучшать распространение пакетов, интеграцию редакторов, отладку, профилирование, размеры артефактов и инструменты производительности, когда это влияет на решение пользователя.
- Рассматривать удобство языка только для проблемы поддерживаемого приложения, которую нельзя чисто решить библиотекой, диагностикой или инструментами.
Последовательность выпусков
- v5.7.0 (текущий) объединяет компилятор, среду выполнения, режим языка, пакеты, артефакты, npm, WASM, Playground, документацию и поддерживаемые Web-приложения на линии 5.7.
- Ненулевые patch-checkpoints линии 5.7 остаются внутренними этапами разработки с производственной дисциплиной проверки, но без публичного развёртывания.
- v5.8.0 — следующий обычный публичный минорный выпуск; он выходит лишь тогда, когда накопленную продуктовую работу и видимые пользователю версии можно перевести вместе.
Позже
- Не включать широкую framework-модель, окружающие полномочия host и новый синтаксис в продуктовый этап без конкретной потребности поддерживаемого приложения.
- Сохранять старые режимы языка как явные входы совместимости, а не параллельные текущие продукты.
Ограниченные интеграционные свидетельства
Записи интеграции LIT и Lispex остаются полезными внутренними свидетельствами совместимости и регрессий. Они не определяют очередь выпусков, не делают LIT публичным бэкендом Topaz и не доказывают эквивалентность всего языка. Крупные кампании LIT, N-way, мутационной и дифференциальной проверки запускаются лишь при изменении принадлежащей им семантики или когда они нужны конкретному кандидату выпуска.
Исследования
- Расширять дифференциальное тестирование и фаззинг, которые находят неверное понимание языка генераторами кода.
- Рассматривать проверку моделей и механизированные доказательства только для конкретных и воспроизводимых результатов.
- Оставить асинхронный синтаксис, перехват ошибок выполнения, API графем и пользовательские шаблоны исследовательскими темами до отдельного решения по языку.