LT
| x >
y
=
GT
Какой стиль лучше? | 67
В этом случае функция compare была бы определена через две других функции класса Ord, а именно
больше > и меньше < . Мы же хотим минимизировать число функций в этом определении. Поэтому вместо
этого определения мы полагаемся на очерёдность обхода альтернатив в охранном выражении.
Если первый случай не прошёл, то во втором случае нет разницы между функциями < и <=. А если не
прошёл и этот случай, то остаётся только вернуть значение GT. Так мы определили функцию compare через
одну функцию класса Ord.
Теперь посмотрим на несколько полезных функций для списков. Посмотрим на три основные функции
для списков, одна из них возможно вам уже порядком поднадоела:
-- Преобразование списка
map :: (a -> b) -> [a] -> [b]
map f []
= []
map f (x:xs) = f x : map f xs
-- Фильтрация списка
filter :: (a -> Bool) -> [a] -> [a]
filter p []
= []
filter p (x:xs) | p x
= x : filter p xs
| otherwise = filter p xs
-- Свёртка списка
foldr
:: (a -> b -> b) -> b -> [a] -> b
foldr f z []
=
z
foldr f z (x:xs) =
f x (foldr f z xs)
Приведём несколько примеров для функции foldr:
and, or :: [Bool] -> Bool
and = foldr (&& ) True
or
= foldr (||) False
(++) :: [a] -> [a] -> [a]
[]
++ ys = ys
(x:xs) ++ ys = x : (xs ++ ys)
concat :: [[a]] -> [a]
concat = foldr (++) []
Функции and и or выполняют логические операции на списках. Так каждый конструктор (:) заменяется
на соответствующую логическую операцию, а пустой список заменяется на значение, которое не влияет на
результат выполнения данной логической операции. Имеется ввиду, что функции (&& True) и (|| False)
дают тот же результат, что и функция id x = x. Функция (++) объединяет два списка, а функция concat