Почему в TypeScript нет аналога throws из Java для обозначения исключений в сигнатуре функции?

Почему в TypeScript нет checked exceptions?

TypeScript, будучи надстройкой над JavaScript, наследует его динамическую природу обработки ошибок. В JavaScript исключения не являются частью системы типов — любая функция может выбросить любое исключение в любой момент. TypeScript не добавляет checked exceptions (как в Java), потому что это противоречит философии языка и усложнило бы интеграцию с существующим JavaScript-кодом.

Основные причины отсутствия throws в TypeScript

• Динамическая природа JavaScript: В JavaScript ошибки могут возникать не только явно (throw new Error()), но и неявно (например, ReferenceError при обращении к несуществующей переменной). Объявить все возможные исключения в сигнатуре невозможно.
• Совместимость с экосистемой: TypeScript должен быть обратно совместим с JavaScript. Добавление checked exceptions потребовало бы изменения всех существующих библиотек и кода.
• Упрощение разработки: Checked exceptions в Java часто приводят к громоздкому коду с множеством try/catch или throws в сигнатурах. TypeScript предпочитает более лаконичный подход.

Как TypeScript обрабатывает ошибки?

TypeScript использует возвращаемые типы для явного указания возможных ошибок. Например, можно вернуть объект с полем error или использовать discriminated unions:

type Result<T> = { success: true; data: T } | { success: false; error: string };

function parseJSON(json: string): Result<any> {
  try {
    const data = JSON.parse(json);
    return { success: true, data };
  } catch (e) {
    return { success: false, error: (e as Error).message };
  }
}

const result = parseJSON('invalid');
if (result.success) {
  console.log(result.data);
} else {
  console.error(result.error);
}

Этот подход делает обработку ошибок явной и типобезопасной, не требуя checked exceptions.

Вывод

TypeScript не включает throws из-за своей динамической основы и стремления к простоте. Вместо этого рекомендуется использовать возвращаемые типы для явной обработки ошибок, что делает код более предсказуемым и легким для понимания, особенно в больших проектах.