Основы функционального программирования/Структуры данных и базисные операции — 2: различия между версиями

К образцам предъявляется единственоеединственное требование, без которого сопоставление с образцами может быть выполнено неверно. Требование это звучит следующим образом: при сопоставлении образца с данными означивание переменных должно происходить единственным образом. То есть, например, выражение <math>(1 + X \Rightarrow 5)</math> можно использовать как образец, так как означивание переменной <math>X</math> происходит единственным образом <math>(X = 4)</math>, а выражение <math>(X + Y \Rightarrow 5)</math> использовать в качестве образца нельзя, ибо означить переменные <math>X</math> и <math>Y</math> можно различным образом.