Учебник по Haskell

type String = [Char]

-- Defined in ‘GHC.Base’

Интерпретатор показал определение типа и в комментариях указал в каком модуле тип определён. В

этом определении мы видим новое ключевое слово type. До этого для определения типов нам встречалось

лишь слово data. Ключевое слово type определяет синоним типа. При этом мы не вводим новый тип, мы

лишь определяем для него псевдоним. String является синонимом для списка значений типа Char. Тип

Char представляет символы. Итак строка – это список символов. В Haskell символы пишутся в ординарных

кавычках, а строки в двойных:

Prelude> [’H’,’e’,’l’,’l’,’o’]

”Hello”

it :: [Char]

Prelude> ”Hello”

”Hello”

it :: [Char]

Prelude> ’+’

’+’

it :: Char

Для обозначения перехода на новую строку используется специальный символ \n. Если строка слишком

длинная и не помещается на одной строке, то её можно перенести так:

str = ”My long long long long \

\long long string”

Перенос осуществляется с помощью комбинации следующих друг за другом обратных слэшей.

Нам понадобится функция конкатенации списков (++), она определена в Prelude, с её помощью мы будем

объединять строки:

Prelude> :t (++)

(++) :: [a] -> [a] -> [a]

Prelude> ”Hello” ++ [’ ’] ++ ”World”

”Hello World”

it :: [Char]

Пример: Отображение дат и времени

Приведём, пример в котором отображаемое значение не совпадает с видом значения в коде. Мы отобра-

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

module Calendar where

import Prelude (Int, Char, String, Show(.. ), (++))

-- Дата

Класс Show. Строки и символы | 29

data Date = Date Year Month Day

-- Год

data Year

= Year Int

-- Int это целые числа

-- Месяц

data Month

= January

| February

| March

| April

| May

| June

| July

| August

| September

| October

| November | December

data Day = Day Int

-- Неделя

data Week

= Monday

| Tuesday

| Wednesday

| Thursday

| Friday

| Saturday

| Sunday

-- Время

data Time = Time Hour Minute Second

data Hour

= Hour

Int

-- Час

data Minute = Minute Int

-- Минута

data Second = Second Int

-- Секунда

Теперь сохраним наш модуль под именем Calendar. hs и загрузим в интерпретатор:

Prelude> :l Calendar

[1 of 1] Compiling Calendar

( Calendar. hs, interpreted )

Ok, modules loaded: Calendar.

*Calendar> Monday

< interactive>:3:1:

No instance for (Show Week)

arising from a use of ‘System.IO. print’

Possible fix: add an instance declaration for (Show Week)

In a stmt of an interactive GHCi command: System.IO. print it

Смотрите мы попытались распечатать значение Monday, но в ответ получили ошибку. В ней интерпре-

татор сообщает нам о том, что для типа Week не определён экземпляр класса Show, и он не знает как его

распечатывать. Давайте подскажем ему. Обычно дни недели в календарях печатают не полностью, в имя

попадают лишь три первых буквы:

instance Show Week where

show Monday

= ”Mon”

show Tuesday

= ”Tue”

show Wednesday

= ”Wed”

show Thursday

= ”Thu”

show Friday

= ”Fri”

show Saturday

= ”Sat”

show Sunday

= ”Sun”

Отступы перед show обязательны, но выравнивание по знаку равно не обязательно, мне просто нравится

так писать. По отступам компилятор понимает, что все определения относятся к определению instance.

Теперь запишем экземпляр в модуль, сохраним, и перезагрузим в интерпретатор:

*Calendar> :r

[1 of 1] Compiling Calendar

( Calendar. hs, interpreted )

Ok, modules loaded: Calendar.

*Calendar> Monday

Mon

it :: Week

*Calendar> Sunday

Sun

it :: Week

Теперь наши дни отображаются. Я выпишу ещё один пример экземпляра для Time, а остальные достанутся

вам в качестве упражнения.

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

instance Show Time where

show (Time h m s) = show h ++ ”:” ++ show m ++ ”:” ++ show s

instance Show Hour where

show (Hour h) = addZero (show h)

instance Show Minute where

show (Minute m) = addZero (show m)

instance Show Second where

show (Second s) = addZero (show s)

addZero :: String -> String

addZero (a:[]) = ’0’ : a : []

addZero as

= as

Функцией addZero мы добавляем ноль в начало строки, в том случае, если число однозначное, также в

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

Проверим в интерпретаторе: