Тип List

Список является универсальной структурой данных, задаваемая последовательностью своих элементов
Например,

         
[1, [2.5, "abc"], atom, [5, [6]]]

Из примера видно, что списки могут содержать элементы любых типов, в том числе и другие списки.

Список является двухаргументной структурой. Первый аргумент называется головой списка, а второй - хвостом. Голова списка - это его первый элемент, а хвост - список остальных элементов без головы. Для представления головы и хвоста принята следующая запись

  [Head | Tail]

Таким образом,

  [1,2,3,4,5]
     = [1 | [2,3,4,5]]
        = [1,2 | [3,4,5]]
           = [1 | [2 | [3,4,5]]]
              = [1 | [2 | [3 | [4 | [5 | []]]]]]

Допускается запись вида [1, 2 | X], что эквивалентно [1 | [2 | X]].
Подробнее..