Шаг 71.
Основы языка Haskell.
Функции обработки списков. Простейшие распознаватели

    На этом шаге мы перечислим эти функции.

    Перечислим несколько таких функций.

    1. Функция-предикат, определяющая пустоту заданного списка:

   null:: [a] -> Bool
   null lst
Например:
   > null []   > null [1,2,3,4]   > null [[1,(-1)],[2],[3,4,5]]
   True        False              False

    2. Функция-предикат, определяющий принадлежность элемента заданному одноуровневому (!) списку:

   elem:: Eq a => a -> [a] -> Bool
   elem x lst
Например:
   > elem 'a' ['a']   > elem 5 [1,3,4]   > elem (-2) [-1,-2,3]
   True               False              True

    3. Функция-предикат, определяющий отсутствие элемента в заданном одноуровневом (!) списке:

   notElem:: Eq a => a -> [a] -> Bool
   notElem x lst
Например:
   > notElem 'a' ['a']        > notElem 5 [1,3]
   False                      True

   > notElem (-2) [-1,-2,3]   > notElem 'x' ['a','s']
   False                      True

    Данные функции можно также описать следующей таблицей:

Таблица 1. Простейшие распознаватели
Символ Значение Ассоциативность Приоритет Тип
elem Существование элемента в списке - 4 Eq a => a -> [a] -> Bool
notElem Отсутствие элемента в списке - 4 Eq a => a -> [a] -> Bool

    На следующем шаге мы рассмотрим простейшие компараторы.




Предыдущий шаг Содержание Следующий шаг