Unknown - haskell-notes

которых и состоит увлекательный мир Haskell. Конечно не только из них, есть нюансы, синтаксический сахар,

расширения языка. Об этом и многом другом мы узнаем из этой книги.

Интересно, что в Haskell, несмотря на обилие конструкций и библиотек, ты чувствуешь, что за ними стоит

нечто из мира науки, мира чистого знания. Ты не просто учишься пользоваться определёнными функциями

или классами, а узнаёшь что-то новое и красивое.

1.9 Упражнения

Потренируйтесь в описаниях в рамках системы типов. Вы определяете базовые понятия и способы их

комбинирования. У вас есть три операции:

• Сумма типов data T = A1 | A2. Перечисление альтернатив

• Произведение типов data T = S S1 S2. Этим мы говорим, что понятие состоит из нескольких.

• Взятие в список [ T]. Обозначает множественное число, элементов типа Tих может быть несколько.

Опишите что-либо: комнату, дорогу, город, человека, главу из книги, математическую теорию, всё что

угодно.

Ниже приведён пример для понятий из этой главы:

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 У-вей