RFC 013: Стандарт кодов ошибок

Аннотация

Настоящий RFC предлагает стандарт классификации кодов ошибок компилятора YaoXiang, использующий одноуровневую систему нумерации в стиле Rust совместно с JSON-файлами ресурсов для поддержки многоязычности, а также команду yaoxiang explain для предоставления объяснений ошибок.

Мотивация

Зачем нужны стандартизированные коды ошибок?

Пользовательский опыт: пользователи могут быстро определить тип и серьёзность ошибки по коду ошибки
Организация документации: группировка по категориям упрощает написание и поддержку справочной документации по ошибкам
Интеграция инструментов: IDE/LSP могут предоставлять предложения по быстрому исправлению и ссылки на документацию на основе кодов ошибок
Поддержка интернационализации: разделение сообщений об ошибках и кодов упрощает перевод на другие языки

Цели проектирования

Простота: одноуровневая нумерация, пользователям не нужно запоминать сложные правила классификации
Дружелюбность: формат сообщений об ошибках в стиле Rust с информацией о справке и примерами
Расширяемость: управление через файлы ресурсов, легко добавлять новые ошибки и новые языки
Дружелюбность к инструментам: команда explain + JSON-вывод, поддержка интеграции IDE/LSP

Предложение

Основной дизайн: одноуровневая система нумерации

Используется четырёхзначная нумерация, сгруппированная по этапам компиляции:

Exxxx
││││
│││└── Порядковый номер (000-999)
││└─── Этап компиляции (0-9)
└───── Фиксированный префикс 'E'

Разделение на этапы

Этап	Диапазон	Описание
0	E0xxx	Лексический и синтаксический анализ
1	E1xxx	Проверка типов
2	E2xxx	Семантический анализ
3	E3xxx	Генерация кода
4	E4xxx	Обобщения и trait-ы
5	E5xxx	Модули и импорт
6	E6xxx	Ошибки времени выполнения
7	E7xxx	Ошибки ввода-вывода и системы
8	E8xxx	Внутренние ошибки компилятора
9	E9xxx	Зарезервировано/экспериментальное

Перечисление категорий ошибок

rust

/// Категория ошибки
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub enum ErrorCategory {
    Lexer,      // E0xxx: Лексический и синтаксический анализ
    Parser,     // E0xxx: Ошибки парсера
    TypeCheck,  // E1xxx: Проверка типов
    Semantic,   // E2xxx: Семантический анализ
    Generic,    // E4xxx: Обобщения и trait-ы
    Module,     // E5xxx: Модули и импорт
    Runtime,    // E6xxx: Ошибки времени выполнения
    Io,         // E7xxx: Ошибки ввода-вывода и системы
    Internal,   // E8xxx: Внутренние ошибки компилятора
}

Определение кодов ошибок и универсальный Builder

Основной принцип: разделение определений кодов ошибок и отображаемого текста

ErrorCodeDefinition: метаданные кода ошибки (code, category, template), без отображаемого текста
i18n/*.json: отображаемый текст для каждого языка (title, message, help)
DiagnosticBuilder: универсальный строитель, заменяющий проектирование trait-per-error

Определение кодов ошибок

rust

// diagnostic/codes/mod.rs

use crate::util::span::Span;
use crate::util::diagnostic::{Diagnostic, Severity};

/// Определение кода ошибки (только метаданные, отображаемый текст в файлах i18n)
#[derive(Debug, Clone, Copy)]
pub struct ErrorCodeDefinition {
    pub code: &'static str,
    pub category: ErrorCategory,
    pub message_template: &'static str,  // Шаблон сообщения с поддержкой заполнителей {param}
}

/// Универсальный строитель диагностики
pub struct DiagnosticBuilder {
    code: &'static str,
    message_template: &'static str,
    params: Vec<(&'static str, String)>,
    span: Option<Span>,
}

impl DiagnosticBuilder {
    pub fn new(code: &'static str, template: &'static str) -> Self {
        Self {
            code,
            message_template: template,
            params: Vec::new(),
            span: None,
        }
    }

    /// Добавить параметр шаблона
    pub fn param(mut self, key: &'static str, value: impl Into<String>) -> Self {
        self.params.push((key, value.into()));
        self
    }

    /// Установить позицию
    pub fn at(mut self, span: Span) -> Self {
        self.span = Some(span);
        self
    }

    /// Построить Diagnostic (рендеринг шаблона выполняется на этапе компиляции)
    pub fn build(&self, i18n: &I18nRegistry) -> Diagnostic {
        // Проверка, что все {key} в шаблоне имеют соответствующие параметры
        self.validate_params();

        let message = i18n.render(self.message_template, &self.params);
        let help = self.help(i18n);

        Diagnostic {
            severity: Severity::Error,
            code: self.code.to_string(),
            message,
            help,
            span: self.span,
            related: Vec::new(),
        }
    }
}

Краткие методы для каждого кода ошибки

rust

// diagnostic/codes/e1xxx.rs

impl ErrorCodeDefinition {
    /// E1001 Неизвестная переменная
    pub fn unknown_variable(name: &str) -> DiagnosticBuilder {
        let def = Self::find("E1001").unwrap();
        DiagnosticBuilder::new(def.code, def.message_template)
            .param("name", name)
    }

    /// E1002 Несоответствие типов
    pub fn type_mismatch(expected: &str, found: &str) -> DiagnosticBuilder {
        let def = Self::find("E1002").unwrap();
        DiagnosticBuilder::new(def.code, def.message_template)
            .param("expected", expected)
            .param("found", found)
    }
}

Пример использования

rust

// checking/mod.rs

use crate::util::diagnostic::codes::{ErrorCodeDefinition, E1001};

// Упрощённый способ
return Err(E1001::unknown_variable(&var_name)
    .at(span)
    .build(&i18n_registry));

// Ручной способ
return Err(ErrorCodeDefinition::find("E1001")
    .builder()
    .param("name", var_name)
    .at(span)
    .build(&i18n_registry));

Пример определения кода ошибки

rust

// diagnostic/codes/e1xxx.rs

pub static E1XXX: &[ErrorCodeDefinition] = &[
    ErrorCodeDefinition {
        code: "E1001",
        category: ErrorCategory::TypeCheck,
        message_template: "Unknown variable: '{name}'",
    },
    ErrorCodeDefinition {
        code: "E1002",
        category: ErrorCategory::TypeCheck,
        message_template: "Expected type '{expected}', found type '{found}'",
    },
    // ... Другие коды ошибок
];

Преимущества дизайна

Характеристика	Описание
Единый Builder	Один `DiagnosticBuilder` универсален для всех кодов ошибок
Типобезопасность	Краткие методы обеспечивают правильность параметров
Само-документация	`E1001::unknown_variable(name)` понятен с первого взгляда
Разделение шаблонов	Шаблоны сообщений отделены от кода, легко делать i18n
Нулевые накладные расходы времени выполнения	Рендеринг на этапе компиляции, AOT бинарный файл без поиска по таблицам

Упрощение макроса ошибок

Макрос error! (автоматическое внедрение контекста)

rust

/// Макрос для автоматического получения span и конфигурации i18n на этапе компиляции
macro_rules! error {
    ($code:ident, $($key:ident = $value:expr),* $(,)?) => {
        $code()
            $(.$key($value))*
            .at(crate::util::span::Span::current())
            .build(crate::util::diagnostic::I18nRegistry::current())
    };
}

/// Использование: достаточно передать параметры, span и i18n внедряются автоматически
return Err(error!(E1001, name = var_name));
return Err(error!(E1002, expected = "bool", found = cond_ty));

Ручное использование Builder

rust

// Когда нужен ручной контроль
E1001::unknown_variable(&var_name)
    .at(my_span)           // Пользовательский span
    .build(&custom_i18n)   // Пользовательский i18n

Детальный дизайн

Список кодов ошибок

E0xxx: Лексический и синтаксический анализ

Код	Тип ошибки	Описание
E0001	Invalid character	Исходный код содержит недопустимый символ
E0002	Invalid number literal	Неправильный формат числового литерала
E0003	Unterminated string	Многострочная строка без закрывающей кавычки
E0004	Invalid character literal	Неправильный символьный литерал
E0010	Expected token	Ожидался определённый token во время синтаксического анализа
E0011	Unexpected token	Встречен неожиданный token
E0012	Invalid syntax	Синтаксическая ошибка в выражении/операторе
E0013	Mismatched brackets	Несовпадение круглых, квадратных или фигурных скобок
E0014	Missing semicolon	Отсутствует точка с запятой в конце оператора

E1xxx: Проверка типов

Код	Тип ошибки	Описание
E1001	Unknown variable	Ссылка на неопределённую переменную
E1002	Type mismatch	Ожидаемый тип не соответствует фактическому
E1003	Unknown type	Ссылка на несуществующий тип
E1010	Parameter count mismatch	Количество параметров при вызове функции не соответствует определению
E1011	Parameter type mismatch	Ошибка проверки типа параметра
E1012	Return type mismatch	Неправильный тип возвращаемого значения функции
E1013	Function not found	Вызов неопределённой функции
E1020	Cannot infer type	Тип не может быть выведен из контекста
E1021	Type inference conflict	Противоречивые ограничения в нескольких местах приводят к противоречию типов
E1030	Pattern non-exhaustive	Выражение match не покрывает все случаи
E1031	Unreachable pattern	Паттерн, который никогда не сможет совпасть
E1040	Operation not supported	Тип не поддерживает данную операцию
E1041	Index out of bounds	Индекс массива/списка выходит за границы
E1042	Field not found	Обращение к несуществующему полю структуры

E2xxx: Семантический анализ

Код	Тип ошибки	Описание
E2001	Scope error	Переменная не находится в текущей области видимости
E2002	Duplicate definition	Повторное определение в одной области видимости
E2003	Lifetime error	Ограничение времени жизни не удовлетворено
E2010	Immutable assignment	Попытка изменить неизменяемую переменную
E2011	Uninitialized use	Использование неинициализированной переменной
E2012	Mutability conflict	Использование изменяемой ссылки в неизменяемом контексте

E4xxx: Обобщения и trait-ы

Код	Тип ошибки	Описание
E4001	Generic parameter mismatch	Количество/тип обобщённых параметров не совпадает
E4002	Trait bound violated	Ограничение trait не удовлетворено
E4003	Associated type error	Ошибка определения/использования ассоциированного типа
E4004	Duplicate trait implementation	Повторная реализация одного trait
E4005	Trait not found	Не удалось найти требуемый trait
E4006	Sized bound violated	Ограничение Sized не удовлетворено

E5xxx: Модули и импорт

Код	Тип ошибки	Описание
E5001	Module not found	Импортируемый модуль не существует
E5002	Cyclic import	Циклическая зависимость между модулями
E5003	Symbol not exported	Попытка доступа к неэкспортированному символу
E5004	Invalid module path	Неправильный формат пути модуля
E5005	Private access	Доступ к приватному символу

E6xxx: Ошибки времени выполнения

Код	Тип ошибки	Описание
E6001	Division by zero	Деление целого числа на ноль
E6002	Assertion failed	Макрос assert! не прошёл
E6003	Arithmetic overflow	Переполнение при арифметических операциях
E6004	Stack overflow	Исчерпание пространства стека
E6005	Heap allocation failed	Сбой выделения памяти
E6006	Runtime index out of bounds	Выход индекса за границы во время выполнения
E6007	Type cast failed	Попытка преобразовать тип в несовместимый

E7xxx: Ошибки ввода-вывода и системы

Код	Тип ошибки	Описание
E7001	File not found	Попытка чтения несуществующего файла
E7002	Permission denied	Недостаточно прав на файл
E7003	I/O error	Общая ошибка ввода-вывода
E7004	Network error	Сбой сетевой операции

E8xxx: Внутренние ошибки компилятора

Код	Тип ошибки	Описание
E8001	Internal compiler error	Внутренняя ошибка компилятора
E8002	Codegen error	Сбой генерации IR/байткода
E8003	Unimplemented feature	Использование нереализованной функции
E8004	Optimization error	Ошибка оптимизации компилятора

Файлы ресурсов для многоязычности

Формат файлов ресурсов

json

// diagnostic/codes/i18n/en.json
{
  "E1001": {
    "title": "Unknown variable",
    "message": "Referenced variable is not defined",
    "template": "Unknown variable: '{name}'",
    "help": "Check if the variable name is spelled correctly, or define it first",
    "example": "x = 100;",
    "error_output": "error[E1001]: Unknown variable: 'x'\n  --> example.yx:1:1\n   |\n 1 | print(x)\n   | ^ unknown variable 'x'"
  },
  "E1002": {
    "title": "Type mismatch",
    "message": "Expected type does not match actual type",
    "template": "Expected type '{expected}', found type '{found}'",
    "help": "Use the correct type or add a type conversion",
    "example": "x: Int = \"hello\";",
    "error_output": "error[E1002]: Type mismatch\n  --> example.yx:1:12\n   |\n 1 | x: Int = \"hello\";\n   |            ^ expected 'Int', found 'String'"
  }
}

json

// diagnostic/codes/i18n/ru.json
{
  "E1001": {
    "title": "Неизвестная переменная",
    "message": "Ссылка на неопределённую переменную",
    "template": "Неизвестная переменная: '{name}'",
    "help": "Проверьте правильность написания имени переменной или определите её",
    "example": "x = 100;",
    "error_output": "error[E1001]: Неизвестная переменная: 'x'\n  --> example.yx:1:1\n   |\n 1 | print(x)\n   | ^ неизвестная переменная 'x'"
  },
  "E1002": {
    "title": "Несоответствие типов",
    "message": "Ожидаемый тип не соответствует фактическому",
    "template": "Ожидался тип '{expected}', найден тип '{found}'",
    "help": "Используйте правильный тип или добавьте преобразование типов",
    "example": "x: Int = \"hello\";",
    "error_output": "error[E1002]: Несоответствие типов\n  --> example.yx:1:12\n   |\n 1 | x: Int = \"hello\";\n   |            ^ ожидался 'Int', найден 'String'"
  }
}

Реализация I18nRegistry

rust

// diagnostic/codes/i18n/mod.rs

/// Реестр отображаемого текста i18n (загружается из JSON на этапе компиляции, без поиска по таблицам во время выполнения)
pub struct I18nRegistry {
    /// Заголовки
    titles: HashMap<&'static str, &'static str>,
    /// Описания
    messages: HashMap<&'static str, &'static str>,
    /// Справочная информация
    helps: HashMap<&'static str, &'static str>,
    /// Примеры кода
    examples: HashMap<&'static str, &'static str>,
    /// Примеры вывода ошибок
    error_outputs: HashMap<&'static str, &'static str>,
}

/// Информация об одном коде ошибки
#[derive(Clone, Copy)]
pub struct ErrorInfo<'a> {
    pub title: &'a str,
    pub message: &'a str,
    pub help: &'a str,
    pub example: Option<&'a str>,
    pub error_output: Option<&'a str>,
}

impl I18nRegistry {
    /// Получить реестр по коду языка
    pub fn new(lang: &str) -> Self {
        match lang {
            "ru" => Self::ru(),
            "zh" => Self::zh(),
            _ => Self::en(),
        }
    }

    /// Получить информацию об ошибке
    pub fn get_info(&self, code: &str) -> Option<ErrorInfo<'_>> {
        Some(ErrorInfo {
            title: self.titles.get(code)?,
            message: self.messages.get(code)?,
            help: self.helps.get(code)?,
            example: self.examples.get(code).copied(),
            error_output: self.error_outputs.get(code).copied(),
        })
    }

    /// Рендеринг шаблона (выполняется на этапе компиляции, нулевые накладные расходы во время выполнения)
    pub fn render(&self, template: &'static str, params: &[(&str, String)]) -> String {
        let mut result = String::with_capacity(template.len() + 64);
        let mut chars = template.chars().peekable();

        while let Some(c) = chars.next() {
            if c == '{' {
                let mut key = String::new();
                while let Some(&c) = chars.peek() {
                    if c == '}' {
                        chars.next();
                        if let Some((_, value)) = params.iter().find(|(k, _)| k == &key) {
                            result.push_str(value);
                        } else {
                            result.push_str(&format!("{{{}}}", key));
                        }
                        break;
                    }
                    key.push(c);
                    chars.next();
                }
            } else {
                result.push(c);
            }
        }
        result
    }
}

Заполнители шаблона

Предопределённые заполнители (часто используемые)

Заполнитель	Назначение	Пример
`{name}`	Имя переменной/типа/trait и др.	`Unknown variable: '{name}'`
`{expected}`	Ожидаемый тип	`Expected type '{expected}'`
`{found}`	Фактический/найденный тип	`, found type '{found}'`
`{method}`	Имя метода	`Method {method} is not a function`
`{trait}`	Имя trait	`Cannot find trait: {trait}`
`{path}`	Путь к модулю	`Invalid path: {path}`
`{ty}`	Выражение типа	`Invalid type: {ty}'`
`{message}`	Внутреннее сообщение об ошибке	`Internal error: {message}`

Поддержка произвольных ключей

params поддерживает произвольные ключи, не ограничиваясь предопределёнными. Вызывающая сторона может передавать любые key:

rust

// Использование произвольного ключа
E1001::unknown_variable(&var_name)
    .param("location", "global scope")
    .param("hint", "try declaring it first")
    .at(span)
    .build(&i18n);

// Определение шаблона
"Unknown variable: '{name}' at {location}. {hint}"

Примечание: Не все коды ошибок используют заполнители. Некоторые коды ошибок (например, E0001) имеют статические сообщения без параметров.

Приоритет языков

1. yaoxiang.toml [language.default]
2. ~/.yaoxiang/yaoxiang.toml [language.default]
3. Значение по умолчанию: en

Конфигурация yaoxiang.toml

Конфигурация на уровне проекта

toml

# yaoxiang.toml
[project]
name = "my-project"
version = "0.1.0"

[language]
# Язык сообщений об ошибках: en, ru, zh, ja, ...
default = "ru"

Конфигурация на уровне пользователя

toml

# ~/.yaoxiang/yaoxiang.toml
[language]
default = "ru"

Выбор языка на этапе компиляции

1. Читается language.default из yaoxiang.toml проекта
2. Если не настроено, читается ~/.yaoxiang/yaoxiang.toml
3. Если оба не настроены, по умолчанию используется "en"
4. Компилятор создаёт I18nRegistry на основе выбранного языка (один раз)
5. Все ошибки используют этот I18nRegistry для рендеринга сообщений

Ключ к нулевым накладным расходам на поиск по таблицам

Рендеринг происходит при компиляции пользовательского проекта, а не во время выполнения.

┌─────────────────────────────────────────────────────────────────────────┐
│  Этап 1: Компиляция компилятора YaoXiang на Rust                        │
│                                                                           │
│  JSON упаковывается в бинарный файл компилятора                         │
│  Цель: команда explain может напрямую читать данные i18n                  │
└─────────────────────────────────────────────────────────────────────────┘

┌─────────────────────────────────────────────────────────────────────────┐
│  Этап 2: Компиляция пользовательского проекта на YaoXiang (рендеринг здесь)│
│                                                                           │
│  При вызове макроса error!:                                              │
│  1. Чтение yaoxiang.toml для получения языковых предпочтений             │
│  2. Загрузка i18n JSON для соответствующего языка из бинарного файла     │
│  3. template + params → render() → "Unknown variable: 'x'"              │
│  4. Diagnostic.message = отрендеренная строка                           │
│                                                                           │
│  AOT бинарный файл напрямую хранит финальную строку, без шаблонов,       │
│  без поиска по таблицам                                                   │
└─────────────────────────────────────────────────────────────────────────┘

┌─────────────────────────────────────────────────────────────────────────┐
│  Этап 3: Время выполнения пользовательской программы                    │
│                                                                           │
│  println!("{}", diagnostic.message)                                     │
│  // Прямой вывод финальной строки, без какого-либо поиска по таблицам     │
└─────────────────────────────────────────────────────────────────────────┘

Компонент	Ответственность	Время рендеринга
`I18nRegistry`	Предоставление шаблонов и отображаемого текста	При компиляции пользовательского проекта
`DiagnosticBuilder.render()`	Шаблон + параметры → финальная строка	При компиляции пользовательского проекта
`Diagnostic.message`	Отрендеренная строка	Хранение финального результата
AOT бинарный файл	Содержит финальные строки	Прямое использование во время выполнения

Формат сообщений об ошибках

Сообщения об ошибках используют следующий формат:

error[E####]: <краткое описание>
  --> <файл>:<строка>:<столбец>
   <строка> | <фрагмент кода>
          ^^^<подсветка>

Полный пример

error[E1001]: Unknown variable: x
  --> src/main.yx:5:12
   5 |   print(x)
          ^
          help: Did you mean to define it?

Уровни серьёзности

Серьёзность ошибки управляется через перечисление DiagnosticLevel, независимо от нумерации кодов ошибок:

rust

pub enum DiagnosticLevel {
    Error,    // Приводит к сбою компиляции
    Warning,  // Не влияет на компиляцию, но рекомендуется исправить
    Note,     // Дополнительная информация
    Help,     // Предложение по исправлению
}

Уровень	Префикс	Описание
Error	`error[E####]:`	Приводит к сбою компиляции
Warning	`warning[E####]:`	Не влияет на компиляцию
Note	`note[E####]:`	Дополнительная информация
Help	`help[E####]:`	Предложение по исправлению

Команда `yaoxiang explain`

Синтаксис команды

bash

yaoxiang explain <ERROR_CODE> [OPTIONS]

Опции

Опция	Описание
`--lang <code>`	Указать язык (en-US, ru-RU, zh-CN, по умолчанию en-US)
`--json`	Вывод в формате JSON (для IDE/LSP)
`--json-pretty`	Форматированный вывод JSON
`--examples`	Показывать только примеры кода
`--help`	Показать справочную информацию

Примеры использования

bash

# По умолчанию на английском
$ yaoxiang explain E1001
error[E1001]: Unknown variable: {name}
  --> <file>:<line>:<col>

Help: Did you mean to define it?

Example:
  let {name} = value;

# Вывод на русском
$ yaoxiang explain E1001 --lang ru
error[E1001]: Неизвестная переменная: {name}
  --> <file>:<line>:<col>

Справка: Возможно, вы хотели её определить?

Пример:
  let {name} = value;

# JSON вывод (интеграция LSP)
$ yaoxiang explain E1001 --json
{
  "code": "E1001",
  "message": "Unknown variable: {name}",
  "help": "Did you mean to define it?",
  "examples": ["let {name} = value;"],
  "language": "en-US"
}

Формат JSON вывода

json

{
  "code": "E1001",
  "message": "Unknown variable: {name}",
  "help": "Did you mean to define it?",
  "examples": ["let {name} = value;"],
  "language": "en-US"
}

Обратная совместимость

Поскольку настоящий RFC проектирует систему кодов ошибок с нуля, проблемы обратной совместимости не существует.

Стратегия миграции в будущем (для справки в последующих версиях):

Сохранить отображение старых кодов ошибок в новые
В период миграции отображать одновременно старые и новые коды
Предоставить график устаревания

Стратегия реализации

Этап первый: Базовая инфраструктура кодов ошибок

Создать структуру каталогов src/diagnostics/
Реализовать перечисление ErrorCode
Реализовать Diagnostic и DiagnosticLevel
Создать каталог файлов ресурсов и примеры JSON

Этап второй: Команда explain

Реализовать CLI команду yaoxiang explain
Поддержать опции --lang и --json
Интегрировать загрузку файлов ресурсов
Реализовать рендеринг параметров шаблона

Этап третий: Интеграция с компилятором

Обновить все точки отчёта об ошибках для использования новой системы
Реализовать внедрение параметров шаблона сообщений
Добавить логику приоритета языков
Покрыть юнит-тестами

Этап четвёртый: Интеграция с IDE/LSP

Интегрировать JSON вывод explain в LSP сервер
Отображать ссылки на коды ошибок в IDE
Показывать объяснения ошибок при наведении
Предложения по быстрому исправлению

Приложения

Полная шпаргалка по кодам ошибок

Диапазон	Категория
E0xxx	Лексический и синтаксический анализ
E1xxx	Проверка типов
E2xxx	Семантический анализ
E3xxx	Генерация кода
E4xxx	Обобщения и trait-ы
E5xxx	Модули и импорт
E6xxx	Ошибки времени выполнения
E7xxx	Ошибки ввода-вывода и системы
E8xxx	Внутренние ошибки компилятора
E9xxx	Зарезервировано

Поддерживаемые языки

Код	Язык	Статус
en-US	English (US)	По умолчанию
ru-RU	Русский	Запланировано
zh-CN	Китайский (упрощённый)	Запланировано

Сравнение примеров сообщений об ошибках

# English (en-US)
error[E1001]: Unknown variable: x
  --> src/main.yx:5:12
   5 |   print(x)
          ^
          help: Did you mean to define it?

# Russian (ru-RU)
error[E1001]: Неизвестная переменная: x
  --> src/main.yx:5:12
   5 |   print(x)
          ^
          справка: Возможно, вы хотели её определить?

RFC 013: Стандарт кодов ошибок ​

Аннотация ​

Мотивация ​

Зачем нужны стандартизированные коды ошибок? ​

Цели проектирования ​

Предложение ​

Основной дизайн: одноуровневая система нумерации ​

Разделение на этапы ​

Перечисление категорий ошибок ​

Определение кодов ошибок и универсальный Builder ​

Определение кодов ошибок ​

Краткие методы для каждого кода ошибки ​

Пример использования ​

Пример определения кода ошибки ​

Преимущества дизайна ​

Упрощение макроса ошибок ​

Макрос error! (автоматическое внедрение контекста) ​

Ручное использование Builder ​

Детальный дизайн ​

Список кодов ошибок ​

E0xxx: Лексический и синтаксический анализ ​

E1xxx: Проверка типов ​

E2xxx: Семантический анализ ​

E4xxx: Обобщения и trait-ы ​

E5xxx: Модули и импорт ​

E6xxx: Ошибки времени выполнения ​

E7xxx: Ошибки ввода-вывода и системы ​

E8xxx: Внутренние ошибки компилятора ​

Файлы ресурсов для многоязычности ​

Формат файлов ресурсов ​

Реализация I18nRegistry ​

Заполнители шаблона ​

Предопределённые заполнители (часто используемые) ​

Поддержка произвольных ключей ​

Приоритет языков ​

Конфигурация yaoxiang.toml ​

Конфигурация на уровне проекта ​

Конфигурация на уровне пользователя ​

Выбор языка на этапе компиляции ​

Ключ к нулевым накладным расходам на поиск по таблицам ​

Формат сообщений об ошибках ​

Полный пример ​

Уровни серьёзности ​

Команда yaoxiang explain ​

Синтаксис команды ​

Опции ​

Примеры использования ​

Формат JSON вывода ​

Обратная совместимость ​

Стратегия реализации ​

Этап первый: Базовая инфраструктура кодов ошибок ​

Этап второй: Команда explain ​

Этап третий: Интеграция с компилятором ​

Этап четвёртый: Интеграция с IDE/LSP ​

Приложения ​

Полная шпаргалка по кодам ошибок ​

Поддерживаемые языки ​

Сравнение примеров сообщений об ошибках ​

Список литературы ​

RFC 013: Стандарт кодов ошибок

Аннотация

Мотивация

Зачем нужны стандартизированные коды ошибок?

Цели проектирования

Предложение

Основной дизайн: одноуровневая система нумерации

Разделение на этапы

Перечисление категорий ошибок

Определение кодов ошибок и универсальный Builder

Определение кодов ошибок

Краткие методы для каждого кода ошибки

Пример использования

Пример определения кода ошибки

Преимущества дизайна

Упрощение макроса ошибок

Макрос error! (автоматическое внедрение контекста)

Ручное использование Builder

Детальный дизайн

Список кодов ошибок

E0xxx: Лексический и синтаксический анализ

E1xxx: Проверка типов

E2xxx: Семантический анализ

E4xxx: Обобщения и trait-ы

E5xxx: Модули и импорт

E6xxx: Ошибки времени выполнения

E7xxx: Ошибки ввода-вывода и системы

E8xxx: Внутренние ошибки компилятора

Файлы ресурсов для многоязычности

Формат файлов ресурсов

Реализация I18nRegistry

Заполнители шаблона

Предопределённые заполнители (часто используемые)

Поддержка произвольных ключей

Приоритет языков

Конфигурация yaoxiang.toml

Конфигурация на уровне проекта

Конфигурация на уровне пользователя

Выбор языка на этапе компиляции

Ключ к нулевым накладным расходам на поиск по таблицам

Формат сообщений об ошибках

Полный пример

Уровни серьёзности

Команда `yaoxiang explain`

Синтаксис команды

Опции

Примеры использования

Формат JSON вывода

Обратная совместимость

Стратегия реализации

Этап первый: Базовая инфраструктура кодов ошибок

Этап второй: Команда explain

Этап третий: Интеграция с компилятором

Этап четвёртый: Интеграция с IDE/LSP

Приложения

Полная шпаргалка по кодам ошибок

Поддерживаемые языки

Сравнение примеров сообщений об ошибках

Список литературы