угодно.
Ниже приведён пример для понятий из этой главы:
data Program = Programm ProgramType [Module]
data ProgramType = Executable | Library
data Module = Module [Definition]
data Definition = Definition DefinitionType Element
data DefinitionType = Export | Inner
data Element = ET Type | EV Value | EC Class | EI Instance
data Type
= Type String
data Value
= Value String
data Class
= Class String
data Instance = Instance String
После того как вы закончите с описанием, подумайте, какие производные связи могли бы вас заинтере-
совать. Какие функции вам бы хотелось определить в этом описании. Выпишите их типы без определений,
например так:
-- Все объявления типов в модуле
getTypes :: Module -> [Type]
-- Провести редукцию значения:
reduce :: Value -> Program -> Value
-- Проверить типы:
Краткое содержание | 23
checkTypes :: Program -> Bool
-- Заменить все определения в модуле на новые
setDefinitions
:: Module -> [Definition] -> Module
-- Упорядочить определения по какому-лбо принципу
orderDefinitions :: [Definition] -> [Definition]
Подумайте: если у вас есть все эти функции, какие производные значения могли бы вам сказать что-
нибудь интересное.
24 | Глава 1: Основы
Глава 2
Первая программа
Я вот говорю-говорю, а вдруг я вас обманываю, и ничего этого нет. В этой главе мы перейдём к програм-
мированию и запустим нашу первую программу в Haskell. Будет много примеров, на которых мы закрепим
наши знания.
2.1 Интерпретатор
Для запуска кода мы будем пользоваться приложением GHC (Glorious Glasgow Haskell Compiler) наиболее
развитой системой интерпретации Haskell программ. В GHC есть компилятор ghc и интерпретатор ghci. Пока
мы будем пользоваться лишь интерпретатором. Если вы не знаете как установить ghc загляните в приложе-
ние. Также нам понадобится текстовый редактор с подсветкой синтаксиса. Подсветка синтаксиса для Haskell
по умолчанию есть в редакторах Vim, Emacs, gedit, geany, yi. Есть IDE для Haskell Leksah. Мы будем писать
модули в файлах и загружать их в интерпретатор. Если вы не знаете продвинутых текстовых редакторов
вроде Vim или Emacs, лучше всего будет начать с gedit.
Интерпретатор позволяет загружать модуль с определениями и набирать значения в командной строке.
Мы набираем значение, а интерпретатор редуцирует его и показывает нам ответ. Интерпретатор запускается
командой ghci в терминале. Определения из модуля могут быть загружены в интерпретатор двумя способа-
ми, либо при запуске интерпретатора командой ghci ИмяМодуля. hs либо в самом интерпретаторе командой
:l ИмяМодуля. hs.
Рассмотрим некоторые полезные команды интерпретатора:
:? Выводит на экран список доступных команд
:t Expression Возвращает тип выражения.
:set +t После выполнения команды интерпретатор будет выводить на экран не только результат вычисле-
ния выражения, но и его тип.
:set +s После выполнения команды интерпретатор будет выводить на экран не только результат вычисле-
ния выражения, но и статистику вычислений.
:l ИмяМодуля Загружает модуль в интерпретатор.
:cd Директория Перейти в данную директорию.
:r Перезагружает, последний загруженный модуль. Этой командой можно пользоваться после внесения в
модуль изменений.
:q Выход из интерпретатора.
2.2 У-вей
Согласно даосам основной принцип жизни заключается в недеянии (у-вей). Всё происходит естественно и
словно само собой. Давайте создадим модуль который ничего не делает. Создадим пустой модуль и загрузим
его в интерпретатор.
module Empty where
import Prelude()
| 25
Зачем мы написали import Prelude()? Этой фразой мы говорим, что не хотим ничего импортировать
из модуля Prelude. По умолчанию в любой модуль загружается модуль Prelude, который содержит много
полезных определений. К примеру там определяется тип Bool, списки и функции для них, символы, классы
типов для сравнения на равенство и печати значений и много, много других определений. В первых главах
я хочу сделать акцент на самом языке Haskell, а не на производных выражениях, поэтому пока мы будем в
явном виде загружать из модуля Prelude лишь самые необходимые определения.
Сохраним модуль в файле Empty. hs, сделаем директорию модуля текущей и запустим интерпретатор
командой ghci Empty (имя расширения можно не писать). Также можно просто запустить интерпретатор