Что такое сопоставление с образцом?

Сопоставление с образцом (англ. pattern matching) — метод анализа и обработки структур данных в языках программирования, основанный на выполнении определённых инструкций в зависимости от совпадения исследуемого значения с тем или иным образцом 12.

В качестве образца может использоваться константа, предикат, тип данных или иная поддерживаемая языком конструкция 1. Как правило, имеется возможность указать более одного образца и связанного с ним действия 1.

Сопоставление с образцом часто встречается в функциональных языках программирования, таких как языки семейства ML и Haskell, в том числе в виде охранных выражений 1.

Также сопоставление с образцом позволяет разработчикам определять поведение функции в зависимости от структуры переданных ей аргументов, что делает его важным инструментом при работе с алгебраическими типами данных, рекурсивными структурами и управлением сложной логикой 3.