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

Материал из свободной русской энциклопедии «Традиция»
Перейти к: навигация, поиск

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