Образец (функциональное программирование)

Образец в функциональном программировании — формальное наименование входного параметра функции (аргумента) для использования в теле функции. В процессе вычислений производится сопоставление с образцом фактически переданного функции значения, в результате чего наименования входных параметров в образце принимают конкретные значения. Это значит, что процесс сопоставления с образцом должен происходить однозначно, что накладывает определённые ограничения на вид образцов.