Учебник по Haskell

имущество бесточечного стиля, избавившись от аргументов, мы можем пользоваться функциями так, словно

это простые значения. Этот приём используется в Haskell очень активно. Пока нам встретились лишь две

инфиксных операции для функций (это композиция и применение с низким приоритетом), но в будущем вы

столкнётесь с целым морем подобных операций. Все они служат одной цели, они прячут аргументы функции,

позволяя быстро составлять функции на лету из примитивов. Чтобы не захлебнуться в этом море помните,

что скорее всего новый символ означает либо композицию либо применение для функций специального

вида.

Возведём в четвёртую степень:

80 | Глава 5: Функции высшего порядка

*FunNat> map (f . f) [1,2,3,4,5]

[1,16,81,256,625]

Составим функцию двух аргументов, которая будет вычислять сумму квадратов двух аргументов:

*FunNat> let x = const id

*FunNat> let y = flip $ const id

*FunNat> let d = x * x + y * y

*FunNat> d 1 2

5

*FunNat> d 3 2

13

Так мы составили функцию, ни прибегая к помощи аргументов. Эти выражения могут стать частью других

выражений:

*FunNat> filter

((< 10) . d 1) [1,2,3,4,5]

[1,2]

*FunNat> zipWith d [1,2,3] [3,2,1]

[10,8,10]

*FunNat> foldr (x*x - y*y) 0 [1,2,3,4]

3721610024

*FunNat> zipWith ((-) * (-) + const id) [1,2,3] [3,2,1]

[7,2,5]

В последнем выражении трудно предугадать результат. В таких выражениях всё-таки лучше пользоваться

синонимами. В бесточечном стиле мы можем несколькими операциями собрать из базовых функций сложную

функцию и передать её аргументом в другую функцию, которая также может поучаствовать в комбинации

других функций!

5.4 Функции, возвращающие несколько значений

Как было сказано ранее функции, которые возвращают несколько значений, реализованы в Haskell с по-

мощью кортежей. Например функция, которая расщепляет поток на голову и хвост выглядит так:

decons :: Stream a -> (a, Stream a)

decons (a :& as) = (a, as)

Здесь функция возвращает сразу два значения. Но всегда ли уместно пользоваться кортежами? Для ком-

позиции функций, которые возвращают несколько значений нам придётся разбирать возвращаемые значения

с помощью сопоставления с образцом и затем использовать эти значения в других функциях. Посудите сами

если у нас есть функции:

f :: a

-> (b1, b2)

g :: b1 -> (c1, c2)

h :: b2 -> (c3, c4)

Мы уже не сможем комбинировать их так просто как если бы это были обычные функции без кортежей.

q x = (\(a, b) -> (g a, h b)) (f x)

В случае пар нам могут прийти на помощь функции first и second:

q = first g . second h . f

Если мы захотим составить какую-нибудь другую функцию из q, то ситуация заметно усложнится. Функ-

ции, возвращающие кортежи, сложнее комбинировать в бесточечном стиле. Здесь стоит вспомнить правило

Unix.

Пишите функции, которые делают одну вещь, но делают её хорошо.

Функции, возвращающие несколько значений | 81

Функция, которая возвращает кортеж пытается сделать сразу несколько дел. И теряет в гибкости, ей

трудно взаимодействовать с другими функциями. Старайтесь чтобы таких функций было как можно меньше.

Если функция возвращает несколько значений, попытайтесь разбить её на несколько, которые возвраща-

ют лишь одно значение. Часто бывает так, что эти значения тесно связаны между собой и такую функцию

не удаётся разбить на несколько составляющих. Если у вас появляется много таких функций, то это повод

задуматься о создании нового типа данных.

Например в качестве точки на плоскости можно использовать пару (Float, Float). В этом случае, если

вы начнёте писать модуль на геометрическую тему у вас появится много функций, которые принимают и

возвращают точки:

rotate

:: Float -> (Float, Float) -> (Float, Float)

norm

:: (Float, Float) -> (Float, Float)

translate

:: (Float, Float) -> (Float, Float) -> (Float, Float)

...

Все они стараются делать несколько дел одновременно, возвращая кортежи. Но мы можем изменить

ситуацию определением новых типов:

data Point

= Point

Float Float

data Vector = Vector Float Float

data Angle

= Angle

Float

Объявления функций станут более краткими и наглядными.

rotate

:: Angle

-> Point -> Point

norm

:: Point

-> Point

translate

:: Vector -> Point -> Point

...

5.5 Комбинатор неподвижной точки

Познакомимся с функцией fix или комбинатором неподвижной точки. По хорошему об этой функции

следовало бы рассказать в разделе обобщённые функции. Но я пропустил её нарошно, для простоты изло-

жения. В этом разделе градус сложности резко подскакивает, если вы ранее не встречались с этой функцией

она может показаться вам очень необычной. Для начала посмотрим на её тип:

Prelude> :m +Data.Function

Prelude Data.Function> :t fix

fix :: (a -> a) -> a

Странно fix принимает функцию и возвращает значение, обычно всё происходит наоборот. Теперь по-