Изучай Haskell во имя добра! (Липовача) - страница 83
>Circle. Это то же самое, что и >Shape (Rectangle, Circle), но короче.К тому же, если мы позже решим дописать несколько конструкторов данных, перечень экспортируемых объектов исправлять не придётся. Всё потому, что конструкция >.. автоматически экспортирует все конструкторы соответствующего типа.
Мы могли бы не указывать ни одного конструктора для типа >Shape, просто записав >Shape в операторе экспорта. В таком случае тот, кто импортирует модуль, сможет создавать фигуры только с помощью функций >baseCircle и >baseRect.
Помните, конструкторы данных – это простые функции, принимающие поля как параметры и возвращающие значение некоторого типа (например, >Shape) как результат. Если мы их не экспортируем, то вне модуля они будут недоступны. Отказ от экспорта конструкторов данных делает наши типы данных более абстрактными, поскольку мы скрываем их реализацию. К тому же, пользователи нашего модуля не смогут выполнять сопоставление с образцом для этих конструкторов данных. Это полезно, если мы хотим, чтобы программисты, импортирующие наш тип, работали только со вспомогательными функциями, которые мы специально для этого написали. Таким образом, у них нет необходимости знать о деталях реализации модуля, и мы можем изменить эти детали, когда захотим – лишь бы экспортируемые функции работали как прежде.
Модуль >Data.Map использует такой подход. Вы не можете создать отображение напрямую при помощи соответствующего конструктора данных, потому что такой конструктор не экспортирован. Однако можно создавать отображения, вызвав одну из вспомогательных функций, например >Map.fromList. Разработчики, ответственные за >Data.Map, в любой момент могут поменять внутреннее представление отображений, и при этом ни одна существующая программа не сломается.
Разумеется, экспорт конструкторов данных для типов попроще вполне допустим.
Синтаксис записи с именованными полями
Есть ещё один способ определить тип данных. Предположим, что перед нами поставлена задача создать тип данных для описания человека. Данные, которые мы намереваемся хранить, – имя, фамилия, возраст, рост, телефон и любимый сорт мороженого. (Не знаю, как насчёт вас, но это всё, что я хотел бы знать о человеке!) Давайте опишем такой тип:
>data Person = Person String String Int Float String String deriving (Show)
Первое поле – это имя, второе – фамилия, третье – возраст и т. д. И вот наш персонаж:
>ghci> let guy = Person "Фредди" "Крюгер" 43 184.2 "526–2928" "Эскимо"
>ghci> guy
>Person "Фредди" "Крюгер" 43 184.2 "526–2928" "Эскимо"
Ну, в целом приемлемо, хоть и не очень «читабельно». Что если нам нужна функция для получения какого-либо поля? Функция, которая возвращает имя, функция для фамилии и т. д.? Мы можем определить их таким образом: