пользоваться.
Программа состоит из модулей (module). И здесь работает правило: один модуль – один файл. Имя модуля
совпадает с именем файла. Имя модуля начинается с большой буквы, тогда как файлы имеют расширение
. hs. Например FirstModule. hs. Посмотрим на типичный модуль в Haskell:
--------------------------------------
-- шапка
module Имя(определение1, определение2,..., определениеN) where
import Модуль1(... )
import Модуль2(... )
...
---------------------------------------
-- определения
определение1
определение2
...
Каждый модуль содержит набор определений. Относительно модуля определения делятся на экспорти-
руемые и внутренние. Экспортируемые определения могут быть использованы за пределами модуля, а внут-
ренние – только внутри модуля, и обычно они служат для выражения экспортируемых определений.
Модуль состоит из двух частей – шапки и определений.
Шапка В шапке после слова module объявляется имя модуля, за которым в скобках следует список экспорти-
руемых определений; после скобок стоит слово where. Затем идут импортируемые модули. С помощью
импорта модулей вы имеете возможность в данном модуле пользоваться определениями из другого
модуля.
Как после имени модуля, так и в директиве import скобки с определениями можно не писать,так как
в этом случае считается, что экспортируются/импортируются все определения.
| 13
Определения Эта часть содержит все определения модуля, при этом порядок следования определений не
имеет значения. То есть, не обязательно пользоваться в данной функции лишь теми значениями, что
были определены выше.
Модули взаимодействуют друг с другом с помощью экспортируемых определений. Один модуль может
сказать, что он хочет воспользоваться экспортируемыми определениями другого модуля, для этого он пишет
import Модуль(определения). Модуль – это айсберг, на вершине которого – те функции, ради которых он
создавался (экспортируемые), а под водой – все служебные детали реализации (внутренние).
Итак, программа состоит из модулей, модули состоят из определений. Но что такое определения?
В Haskell определения могут описывать четыре вида сущностей:
• Типы.
• Значения.
• Классы типов.
• Экземпляры классов типов.
Теперь давайте рассмотрим их подробнее.
1.2 Типы
Типы представляют собой каркас программы. Они кратко описывают все возможные значения. Это очень
удобно. Опытный программист на Haskell может понять смысл функции по её названию и типу. Это не очень
сложно. Например, мы видим:
not
