Pattern matching в ECMAScript 2026: автоматизация логики в TypeScript проектах

[kirilljsx]

Pattern matching наконец-то официально в ECMAScript 2026. Это новый инструмент для упрощения условной логики в JavaScript и TypeScript. Забудьте про цепочки if-else, которые разрастаются как раковая опухоль.

В веб-проектах на TypeScript такая фича сэкономит кучу времени. Она разбирает структуры данных и сразу достает нужные поля. Проблемы с типобезопасностью и exhaustiveness checks уходят сами. Код становится короче и надежнее.

Синтаксис match и when на практике

Новый синтаксис начинается с ключевого слова match, за ним значение для разбора. Каждая ветка открывается when и паттерном - это как шаблон, которому данные должны соответствовать. Если совпадение есть, выполняется тело ветки. TypeScript сразу проверит, все ли случаи учтены, без лишних библиотек.

Представьте обработку состояний fetch: loading, success, error. Вместо пяти if-else строками пишем match с when для каждого статуса. Деструктуризация встроена - сразу тянешь data или error. Это работает с объектами, массивами, даже custom классами через Symbol.customMatcher.

• when ({ status: “loading” }): рендерим спиннер, никаких проверок на лишние поля.
• when ({ status: “success”, data }): выводим данные, типы проверены компилятором.
• default: fallback для неожиданных случаев, бросает TypeError если ничего не подошло.

Традиционный if-else	Pattern matching
20+ строк кода	10 строк
Ручная проверка типов	Автоматическая
Легко пропустить case	Exhaustive check

Интеграция в TypeScript веб-проекты

В TypeScript pattern matching идеально ложится на union types. Берешь Result<‘success’ | ‘error’ | ‘loading’>, и match разбирает его по типам. Компилятор ругается, если забыл ветку - это как суперcharged switch с деструктуризацией.

Пример с reducer’ом для состояния приложения. Match на [state, action], when для комбинаций. Guards через if после when добавляют гибкость - проверка времени или условий. В React это упрощает рендер по статусу, в Redux - обработку actions.

const reducer = (state, action) => match([state, action]) {
  when([{ status: 'loading' }, { type: 'success', data }]): ({ status: 'success', data })
  when([{ status: 'loading' }, { type: 'error', error }]): ({ status: 'error', error })
  when([state, { type: 'fetch' }]) if (state.status !== 'loading'): ({ status: 'loading' })
  when(_): state
};

• P.when(guard): для предикатов, как isOdd(x), типы сужаются автоматически.
• …rest: распаковка массивов или объектов в паттернах.
• exhaustive(): в библиотеках типа ts-pattern, но теперь нативно.

Нюанс: custom matchers для классов требуют Symbol.customMatcher - полезно для Option монaд.

Обработка сложных структур данных

С массивами и вложенными объектами match творит чудеса. When ([head, …tail]) разбирает список рекурсивно. Для discriminated unions - when ({ type: ‘user’, name }) сразу сужает типы.

В реальном проекте парсим API response: { kind: ‘post’ | ‘comment’, payload }. Match на kind, достаем payload с типобезопасностью. Нет больше ошибок вроде payload.title на comment.

• String and let a: комбинируй с типами, как Option.Some(Number and let a).
• when Option.None(): для nullish случаев без if (val == null).
• default: всегда добавляй, чтобы избежать TypeError в проде.

Сценарий	До ES2026	ES2026 match
Union types	switch + type guards	when + destruct
Arrays	forEach + if	[head, …tail]
Errors	try-catch цепочки	match(error)

Масштабирование в больших проектах

В монолитных фронтендах на TypeScript match заменяет 80% условной логики. Команды быстрее онбордятся - код читается как английский. Refactor проще: меняешь один паттерн, типы подхватывают.

Тестировать ветки стало легче - exhaustive проверка генерит тесты. В CI скрипт на TypeScript флаг strict вылавливает пропуски. Для серверного TS, как в Next.js API, это спасение от багов.

match(apiResponse) {
  when({ kind: 'post', payload: P.select() }): renderPost(payload)
  when({ kind: 'comment', author: P.select('author') }): renderComment(author)
  default: throw new Error('Unknown kind')
}

• P.select(): из ts-pattern, но синтаксис похож на нативный.
• Guards с if: комбинируй с runtime проверками.
• Нативная поддержка: без поллифиллов после 2026.

Важно: пока TC39 финализирует, тесты на Chrome Canary.

Pattern matching меняет правила игры

ES2026 делает TypeScript еще мощнее без доп. зависимостей. Логика короче в 2-3 раза, баги реже. Осталось доработать nested patterns и async match - это уже в pipeline.

Думай о проектах: где switch цепочки душат код? Замени на match, и увидишь разницу. Фича эволюционирует, следи за proposal на GitHub.