Также в Haskell можно использовать ещё один контейнерный тип -- список. Списки, в отличнии от кортежей, гомогенны, то есть типы всех значений внутри списка должны совпадать. Длина списка может изменяться. Список -- это фундаментальный тип данных в Haskell и в ФП вообще.

Объявление списка:

> [1, 2, 3]

[1, 2, 3]

> :type [1, 2, 3]

[1, 2, 3] :: Num a => [a]

> :type [True, False, False]

[True, False, False] :: [Bool]

Пустой список:

> []

[]

Для типа [Char] существует синоним String и альтернативный синтаксис:

> :type ['H', 'i']

['H', 'i'] :: [Char]

> :type "Hi"

"Hi" :: [Char]

Таким образом, строка в Haskell -- это список символов.

Для работы со списками определены следующие операторы (infixr 5):

• (:) -- добавление элемента в голову списка (слева элемент, справа список)
• (++) -- конкатенация двух списков

> 'H' : "ello"

"Hello"

> 'k' : 'e' : 'k' : []

"kek"

> "Hello" ++ " " ++ "world!"

"Hello world!"