тов мы можем просто выбросить все элементы:
burnThemALl :: [a] -> ()
burnThemAll = const ()
Можно сказать, что единичный тип также определяет функтор. Это константный функтор, он переводит
любой тип в единственное значение (), а функцию в id:
data Empty a = Empty
instance Functor Empty where
fmap = const id
Тогда тип функции burnThemAll будет параметризован и слева и справа от стрелки:
burnThemAll :: [a] -> Empty a
burnThemAll = const Empty
Пусть даны две категории A и B и два функтора F, G : A > B. Преобразованием (transformation) в B из
F в G называют семейство стрелок ?:
?A : F A >B GA
для любого A из A
Рассмотрим преобразование onlyOne :: [a] -> Maybe a. Категории A и B в данном случае совпадают~–
это категория Hask. Функтор F – это список, а функтор G это Maybe. Преобразование onlyOne для каждого
объекта a из Hask определяет стрелку
onlyOne :: [a] -> Maybe a
Так мы получаем семейство стрелок, параметризованное объектом из Hask:
onlyOne :: [Int] -> Maybe Int
onlyOne :: [Char] -> Maybe Char
onlyOne :: [Int -> Int] -> Maybe (Int -> Int)
…
…
Теперь давайте определим, что значит перекладывать из одной структуры в другую, не меняя содержа-
ния. Представим, что функтор – это контейнер. Мы можем менять его содержание с помощью метода fmap.
Например мы можем прибавить единицу ко всем элементам списка xs с помощью выражения fmap (+1) xs.
Точно так же мы можем прибавить единицу к частично определённому значению. С точки зрения теории ка-
тегорий суть понятия “останется неизменным при перекладывании” заключается в том, что если мы возьмём
любую функцию к примеру прибавление единицы, то нам неважно когда её применять до функции onlyOne
или после. И в том и в другом случае мы получим одинаковый ответ. Давайте убедимся в этом:
onlyOne $ fmap (+1) [1,2,3,4,5]
=>
onlyOne [2,3,4,5,6]
=>
Just 2
fmap (+1) $ onlyOne [1,2,3,4,5]
=>
fmap (+1) $ Just 1
=>
Just 2
Результаты сошлись, обратите внимание на то, что функции fmap (+1) в двух вариантах являются раз-
ными функциями. Первая работает на списках, а вторая на частично определённых значениях. Суть в том,
что если при перекладывании значение не изменилось, то нам не важно когда выполнять преобразование
внутри функтора [] или внутри функтора Maybe. Теперь давайте выразим это на языке теории категорий.
Преобразование ? в категории B из функтора F в функтор G называют естественным (natural), если
F f ; ?B = ?A ; Gf
для любого f : A >A B
Естественное преобразование | 231
Это свойство можно изобразить графически:
?
F A
A
GA
F f
Gf
F B
GB
?B
По смыслу ясно, что если у нас есть три структуры данных (или три функтора), если мы просто пере-
ложили данные из первой во вторую, а затем переложили данные из второй в третью, ничего не меняя. То
итоговое преобразование, которое составлено из последовательного применения перекладывания данных
также не меняет данные. Это говорит о том, что композиция двух естественных преобразований также явля-
ется естественным преобразованием. Также мы можем составить тождественное преобразование, для двух
одинаковых функторов F : A > B, это будет семейство тождественных стрелок в категории B. Получает-
ся, что для двух категорий A и B мы можем составить категорию F tr( A, B), в которой объектами будут
функторы из A в B, а стрелками будут естественные преобразования. Поскольку естественные преобразова-
ния являются стрелками, которые соединяют функторы, мы будем обозначать их как обычные стрелки. Так
запись ? : F > G обозначает преобразование ?, которое переводит функтор F в функтор G.
Интересно, что изначально создатели теории категорий Саундедерс Маклейн и Сэмюэль Эйленберг при-
думали понятие естественного преобразования, а затем, чтобы дать ему обоснование было придумано поня-
тие функтора, и наконец для того чтобы дать обоснование функторам были придуманы категории. Катего-
рии содержат объекты и стрелки, для стрелок есть операция композиции. Также для каждого объекта есть
тождественная стрелка. Функторы являются стрелками в категории, в которой объектами являются другие
категории. А естественные преобразования являются стрелками в категории, в которой объектами являются
функторы. Получается такая иерархия структур.
15.4 Монады
Монадой называют эндофунктор T : A > A, для которого определены два естественных преобразования
? : I > T и µ : T T > T и выполнены два свойства:
• T ?A ; µA = idTA
• T µA ; µTA = µTTA ; µA
Преобразование ? – это функция return, а преобразование µ – это функция join. В теории категорий в
классе Monad другие методы. Перепишем эти свойства в виде функций Haskell:
join . fmap return
= id
join . fmap join
= join . join
Порядок следования аргументов изменился, потому что мы пользуемся обычной композицией (через
точку). Выражение T ?A означает применение функтора T к стрелке ?A. Ведь преобразование это семейство
стрелок, которые параметризованы объектами категории. На языке Haskell это означает применить fmap к
полиморфной функции (функции с параметром).
Также эти свойства можно изобразить графически:
T ?
T A
A
µ
T T A
A
T A
T µ
T T T A
A
T T A
µT A
µA
T T A
T A
µA
Категория Клейсли