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

Содержимое удалено Содержимое добавлено
м Бот: замена устаревшего математического синтаксиса в соответствии с mw:Extension:Math/Roadmap
 
Строка 31:
 
#Пустой список <math>[\,] \in \operatorname{List}(A)</math>
#<math>x \in A \andland y \in \operatorname{List}(A) \Rightarrow x : y \in \operatorname{List}(A)</math>
 
Главное свойство списка: <math>x \in \operatorname{List}(A) \andland x \neq [\,] \Rightarrow \operatorname{head}(x) \in A,\; \operatorname{tail}(x) \in \operatorname{List}(A)</math>.
 
Для обозначения списка из <math>n</math> элементов можно употреблять множество различных нотаций, однако здесь будет использоваться только такая: <math>[a_1,\; a_2, \;\ldots,\; a_n]</math>. Применяя к такому списку определённым образом операции <math>\operatorname{head}</math> и <math>\operatorname{tail}</math> можно добраться до любого элемента списка, так как: