>newtype Pair b a = Pair { getPair :: (a, b) }
А теперь мы можем определить для него экземпляр класса >Functor так, чтобы функция отображала первый компонент:
>instance Functor (Pair c) where
> fmap f (Pair (x, y)) = Pair (f x, y)
Как видите, мы можем производить сопоставление типов, объявленных через декларацию >newtype, с образцом. Мы производим сопоставление, чтобы получить лежащий в основе кортеж, применяем функцию >f к первому компоненту в кортеже, а потом используем конструктор значения >Pair, чтобы преобразовать кортеж обратно в значение типа >Pair b a. Если мы представим, какого типа была бы функция >fmap, если бы она работала только с нашими новыми парами, получится следующее:
>fmap :: (a –> b) –> Pair c a –> Pair c b
Опять-таки, мы написали >instance Functor (Pair c) where, и поэтому конструктор >Pair c занял место идентификатора >f в определении класса типов для >Functor:
>class Functor f where
> fmap :: (a -> b) -> f a -> f b
Теперь, если мы преобразуем кортеж в тип >Pair b a, можно будет использовать с ним функцию >fmap, и функция будет отображать первый компонент:
>ghci> getPair $ fmap (*100) (Pair (2, 3))
>(200,3)
>ghci> getPair $ fmap reverse (Pair ("вызываю лондон", 3))
>("ноднол юавызыв",3)
Единственное, что можно сделать с помощью ключевого слова >newtype, – это превратить имеющийся тип в новый тип, поэтому внутренне язык Haskell может представлять значения типов, определённых с помощью декларации >newtype, точно так же, как и первоначальные, зная в то же время, что их типы теперь различаются. Это означает, что декларация >newtype не только зачастую быстрее, чем >data, – её механизм сопоставления с образцом ленивее. Давайте посмотрим, что это значит.
Как вы знаете, язык Haskell по умолчанию ленив, что означает, что какие-либо вычисления будут иметь место только тогда, когда мы пытаемся фактически напечатать результаты выполнения наших функций. Более того, будут произведены только те вычисления, которые необходимы, чтобы наша функция вернула нам результаты. Значение >undefined в языке Haskell представляет собой ошибочное вычисление. Если мы попытаемся его вычислить (то есть заставить Haskell на самом деле произвести вычисление), напечатав его на экране, то в ответ последует настоящий припадок гнева – в технической терминологии он называется исключением:
>ghci> undefined
>*** Exception: Prelude.undefined
А вот если мы создадим список, содержащий в себе несколько значений >undefined, но запросим только «голову» списка, которая не равна >undefined, всё пройдёт гладко! Причина в том, что языку Haskell не нужно вычислять какие-либо из остальных элементов в списке, если мы хотим посмотреть только первый элемент. Вот пример: