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

(→‎Образцы и клозы: орфография)
 
*<math>[X, Y]</math> — список.
 
К образцам предъявляется единственоеединственное требование, без которого сопоставление с образцами может быть выполнено неверно. Требование это звучит следующим образом: при сопоставлении образца с данными означивание переменных должно происходить единственным образом. То есть, например, выражение <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> можно различным образом.
 
Кроме образцов в функциональном программировании вводится такое понятие, как «клоз» (от англ. «clause»). По определению клозы выглядят так:
93

правки