Unknown - haskell-notes

Согласно даосам основной принцип жизни заключается в недеянии (у-вей). Всё происходит естественно и

словно само собой. Давайте создадим модуль который ничего не делает. Создадим пустой модуль и загрузим

его в интерпретатор.

module Empty where

import Prelude()

| 25

Зачем мы написали import Prelude()? Этой фразой мы говорим, что не хотим ничего импортировать

из модуля Prelude. По умолчанию в любой модуль загружается модуль Prelude, который содержит много

полезных определений. К примеру там определяется тип Bool, списки и функции для них, символы, классы

типов для сравнения на равенство и печати значений и много, много других определений. В первых главах

я хочу сделать акцент на самом языке Haskell, а не на производных выражениях, поэтому пока мы будем в

явном виде загружать из модуля Preludeлишь самые необходимые определения.

Сохраним модуль в файле Empty.hs, сделаем директорию модуля текущей и запустим интерпретатор

командой ghci Empty(имя расширения можно не писать). Также можно просто запустить интерпретатор

командой ghci, переключиться на директорию командой :cd и загрузить модуль командой :l Empty.

$ ghci

GHCi, version 7.4.1: http://www.haskell.org/ghc/

:? for help

Loading package ghc-prim ... linking ... done.

Loading package integer-gmp ... linking ... done.

Loading package base ... linking ... done.

Prelude> :cd ~/haskell-notes/code/ch-2/

Prelude> :l Empty.hs

[1 of 1] Compiling Empty

( Empty.hs, interpreted )

Ok, modules loaded: Empty.

*Empty>

Слева от знака приглашения к вводу >отображаются загруженные в интерпретатор модули. По умол-

чанию загружается модуль Prelude. После выполнения команды :l мы видим, что Preludeсменилось на

Empty.

Теперь давайте потренируемся перезагружать модули. Давайте изменим наш модуль, сделаем его не та-

ким пустым, убрав последние две скобки от модуля Preludeв директиве import. Теперь сохраним изменения

и выполним команду :r.

*Empty> :r

[1 of1] Compiling Empty

( Empty.hs, interpreted )

Ok, modules loaded : Empty.

*Empty>

Завершим сессию интерпретатора командой :q.

*Empty> :q

Leaving GHCi.

Внешние модули должны находится в текущей директории. Давайте потренируемся с подключением

определений из внешних модулей. Создадим модуль близнец модуля Empty.hs:

module EmptyEmpty where

import Prelude()

И сохраним его в той же директории, что и модуль Empty, теперь мы можем включить все определения

из модуля EmptyEmpty:

module Empty where

import EmptyEmpty

Когда у нас будет много модулей мы можем разместить их по директориям. Создадим в одной дирек-

тории с модулем Emptyдиректорию Sub, а в неё поместим копию модуля Empty. Существует одна тонкость:

поскольку модуль находится в поддиректории, для того чтобы он стал виден из текущей директории, необ-

ходимо дописать через точку имя директории в которой он находится:

module Sub.Empty where

Теперь мы можем загрузить этот модуль из исходного:

module Empty where

import EmptyEmpty

import Sub.Empty

Обратите внимание на то, что мы приписываем к модулю в поддиректории Subимя поддиректории. Если

бы он был заложен в ещё одной директории, то мы написали бы через точку имя и этой поддиректории:

module Empty where

import Sub1.Sub2.Sub3.Sub4.Empty

26 | Глава 2: Первая программа

2.3 Логические значения

Пустой модуль это хорошо, но слишком скучно. Давайте перепишем объявленные в этой главе опреде-

ления в модуль, загрузим его в интерпретатор и понабираем значения.

Начнём с логических операций. Давайте не будем переопределять Bool, Showи Eq, а просто возьмём их

из Prelude:

module Logic where

import Prelude( Bool( ..), Show( ..), Eq( ..))

Две точки в скобках означают “все конструкторы” (в случае типа) и “все методы” (в случае класса типа).

Строчку

import Prelude( Bool( ..), Show( ..), Eq( ..))

Следует читать так: Импортируй из модуля Preludeтип Boolи все его конструкторы и классы Showи

Eqсо всеми их методами. Если бы мы захотели импортировать только конструктор True, мы бы написали

Bool( True), а если бы мы захотели импортировать лишь имя типа, мы бы написали просто Boolбез скобок.