На этом шаге мы перечислим конструкторы списка.
Перечислим основные конструкторы этого типа данных.
1. Пустой список (список, не содержащий элементов), который предназначен для конструирования самого себя:
[] (квадратные скобки).
2. Конструктор создания списка из элемента и списка:
: (двоеточие).
3. Операция (которую можно назвать конструктором) создания списка из пары списков:
(++) (два плюса).
Операция помещает элемент в начало списка, результатом её применения является список большей длины:
(:):: a -> [a] -> [a].
Примеры.
1. 1:2:[]++[2,3]++[4] => [1,2,2,3,4]. 2. 1:2:3:[] => [1,2,3].
Итак, список можно конструировать с помощью операции (:).
Замечание. В языке программирования LISP аналогом:
- конструктора [] является атом NIL или () (круглые скобки);
- конструктора (:) является функция CONS и операция . (точка);
- конструктора (++) является функция APPEND.
На следующем шаге мы рассмотрим уровень вложенности списка.
