Миран Липовача - Изучай Haskell во имя добра!

Мы также можем воспринимать значения функторов как значения с добавочным контекстом. Например, значения типа Maybeобладают дополнительным контекстом того, что вычисления могли окончиться неуспешно. По отношению к спискам контекстом является то, что значение может быть множественным либо отсутствовать. Функция fmapприменяет функцию к значению, сохраняя его контекст.

Если мы хотим сделать конструктор типа экземпляром класса Functor, он должен иметь сорт * –> *; это значит, что он принимает ровно один конкретный тип в качестве параметра типа. Например, конструктор Maybeможет быть сделан экземпляром, так как он получает один параметр типа для произведения конкретного типа, как, например, Maybe Intили Maybe String. Если конструктор типа принимает два параметра, как, например, конструктор Either, мы должны частично применять конструктор типа до тех пор, пока он не будет принимать только один параметр. Поэтому мы не можем написать определение Functor Either where, зато можем написать определение Functor (Either a) where. Затем, если бы мы вообразили, что функция fmapпредназначена только для работы со значениями типа Either a, она имела бы следующее описание типа:

fmap :: (b –> c) –> Either a b –> Either a c

Как видите, часть Either a– фиксированная, потому что частично применённый конструктор типа Either aпринимает только один параметр типа.

К настоящему моменту вы изучили, каким образом многие типы (если быть точным, конструкторы типов) являются экземплярами класса Functor: []и Maybe, Either a, равно как и тип Tree, который мы создали в главе 7. Вы видели, как можно отображать их с помощью функций на всеобщее благо. Теперь давайте взглянем на экземпляр типа IO.

Если какое-то значение обладает, скажем, типом IO String, это означает, что перед нами действие ввода-вывода, которое выйдет в реальный мир и получит для нас некую строку, которую затем вернёт в качестве результата. Мы можем использовать запись <���–в синтаксисе doдля привязывания этого результата к имени. В главе 8 мы говорили о том, что действия ввода-вывода похожи на ящики с маленькими ножками, которые выходят наружу и приносят нам какое-то значение из внешнего мира. Мы можем посмотреть, что они принесли, но после просмотра нам необходимо снова обернуть значение в тип IO. Рассматривая эту аналогию с ящиками на ножках, вы можете понять, каким образом тип IOдействует как функтор.

Давайте посмотрим, как же это тип IOявляется экземпляром класса Functor… Когда мы используем функцию fmapдля отображения действия ввода-вывода с помощью функции, мы хотим получить обратно действие ввода-вывода, которое делает то же самое, но к его результирующему значению применяется наша функция. Вот код:

instance Functor IO where

fmap f action = do

result <���– action

return (f result)

Результатом отображения действия ввода-вывода с помощью чего-либо будет действие ввода-вывода, так что мы сразу же используем синтаксис doдля склеивания двух действий и создания одного нового. В реализации для метода fmapмы создаём новое действие ввода-вывода, которое сначала выполняет первоначальное действие ввода-вывода, давая результату имя result. Затем мы выполняем return (f result). Вспомните, что return– это функция, создающая действие ввода-вывода, которое ничего не делает, а только возвращает что-либо в качестве своего результата.

Действие, которое производит блок do, будет всегда возвращать результирующее значение своего последнего действия. Вот почему мы используем функцию return, чтобы создать действие ввода-вывода, которое в действительности ничего не делает, а просто возвращает применение f resultв качестве результата нового действия ввода-вывода. Взгляните на этот кусок кода:

main = do

line <���– getLine

let line' = reverse line

putStrLn $ "Вы сказали " ++ line' ++ " наоборот!"

putStrLn $ "Да, вы точно сказали " ++ line' ++ " наоборот!"

У пользователя запрашивается строка, и мы отдаём её обратно пользователю, но в перевёрнутом виде. А вот как можно переписать это с использованием функции fmap:

main = do

line <���– fmap reverse getLine

putStrLn $ "Вы сказали " ++ line ++ " наоборот!"

putStrLn $ "Да, вы точно сказали " ++ line ++ " наоборот!"

Так же как можно отобразить Just "уфф"с помощью отображения fmap reverse, получая Just "ффу", мы можем отобразить и функцию getLineс помощью отображения fmap reverse. Функция getLine– это действие ввода-вывода, которое имеет тип IO String, и отображение его с помощью функции reverseдаёт нам действие ввода-вывода, которое выйдет в реальный мир и получит строку, а затем применит функцию reverseк своему результату. Таким же образом, как мы можем применить функцию к тому, что находится внутри коробки Maybe, можно применить функцию и к тому, что находится внутри коробки IO, но она должна выйти в реальный мир, чтобы получить что-либо. Затем, когда мы привязываем результат к имени, используя запись <���–, имя будет отражать результат, к которому уже применена функция reverse.

Действие ввода-вывода fmap (++"!") getLineведёт себя в точности как функция getLine, за исключением того, что к её результату всегда добавляется строка "!"в конец!

Если бы функция fmapработала только с типом IO, она имела бы тип fmap :: (a –> b) –> IO a –> IO b.Функция fmapпринимает функцию и действие ввода-вывода и возвращает новое действие ввода-вывода, похожее на старое, за исключением того, что к результату, содержащемуся в нём, применяется функция.

Предположим, вы связываете результат действия ввода-вывода с именем лишь для того, чтобы применить к нему функцию, а затем даёте очередному результату какое-то другое имя, – в таком случае подумайте над использованием функции fmap. Если вы хотите применить несколько функций к некоторым данным внутри функтора, то можете объявить свою функцию на верхнем уровне, создать анонимную функцию или, в идеале, использовать композицию функций:

import Data.Char

import Data.List

main = do

line <���– fmap (intersperse '-' . reverse . map toUpper) getLine

putStrLn line

Вот что произойдёт, если мы сохраним этот код в файле fmapping_io.hs , скомпилируем, запустим и введём "Эй, привет":

$ ./fmapping_io