square a b c =
(\p -> sqrt (p * (p - a) * (p - b) * (p - c)))
((a + b + c) / 2)
Смотрите мы определили функцию, которая принимает параметром полупериметр p и передали в неё
значение ((a + b + c) / 2). Если в нашей функции несколько локальных переменных, то мы можем
составить лямбда-функцию от нескольких переменных и подставить в неё нужные значения.
4.5 Какой стиль лучше?
Основной критерий выбора заключается в том, сделает ли этот элемент код более ясным. Наглядность
кода станет залогом успешной поддержки. Его будет легче понять и улучшить при необходимости.
Далее мы рассмотрим несколько примеров определений из Prelude и подумаем, почему был выбран тот
или иной стиль. Начнём с класса Ord и посмотрим на определения по умолчанию:
-- Тип упорядочивания
data
Ordering
=
LT | EQ | GT
deriving (Eq, Ord, Enum, Read, Show, Bounded)
class
(Eq a) => Ord a
where
compare
:: a -> a -> Ordering
(< ), (<=), (>=), (> ) :: a -> a -> Bool
max, min
:: a -> a -> a
-- Минимальное полное определение:
--
(<=) или compare
-- Использование compare может оказаться более
-- эффективным для сложных типов.
compare x y
| x == y
=
EQ
| x <= y
=
LT
| otherwise =
GT
x <= y
=
compare x y /= GT
x <
y
=
compare x y == LT
x >= y
=
compare x y /= LT
x >
y
=
compare x y == GT
max x y
| x <= y
=
y
| otherwise =
x
min x y
| x <= y
=
x
| otherwise =
y
Все функции определены в декларативном стиле. Тип Ordering кодирует результат операции сравнения.
Два числа могут быть либо равны (значение EQ), либо первое меньше второго (значение LT), либо первое
больше второго (значение GT).
Обратите внимание на функцию compare. Мы не пишем дословное определение значений типа Ordering:
compare x y
| x == y
=
EQ
| x <
y
=
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 выполняют логические операции на списках. Так каждый конструктор (:) заменяется