Учебник по Haskell - [21]

:

Prelude> :m +GHC.Float

Prelude GHC.Float> :t float2Double

float2Double :: Float -> Double

Prelude GHC.Float> :t double2float

double2Float :: Double -> Float

2.7 Документация

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

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

выразить с помощью функций её решение.

Но не стоит писать все функции самостоятельно, если функция достаточно общая её наверняка кто-

нибудь уже написал. Самые полезные функции и классы определены в модуле Prelude и основных стан-

дартных библиотечных модулях. Было бы излишним описывать каждую функцию, книга превратилась бы

в справочник. Вместо этого давайте научимся искать функции в документации. Нам понадобится умение

составлять типы функций и небольшое знание английского языка.

Для начала о том, где находится документация к стандартным модулям. Если вы установили ghc вме-

сте с Haskell Platform под Windows скорее всего во вкладке Пуск, там где иконка ghc там же находится

и документация. В Linux необходимо найти директорию с документацией, скорее всего она в директории

/usr/local/share/doc/ghc/libraries. Также документацию можно найти в интернете, наберите в поиско-

вике Haskell Hierarchical Libraries. На главной странице документации вы найдёте огромное количество мо-

дулей. Нас пока интересуют разделы Data и Prelude. Разделы расположены по алфавиту. То что вы видите

это стандартный вид документации в Haskell. Документация делается с помощью специального приложе-

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

документации функции.

Предположим нам нужно вычислить длину списка. Нам нужна функция, которая принимает список и

возвращает целое число, скорее всего её тип [a] -> Int, обычно во всех библиотечных функциях для це-

лых чисел используется тип Int, также на месте параметра используются буквы a, b, c. Мы можем открыть

документацию к Prelude набрать в строке поиска тип [a] -> Int. Или поискать такую функцию в разде-

ле функций для списков List Operations. Тогда мы увидим единственную функцию с таким типом, под

говорящим именем length. Так мы нашли то, что искали.

Или мы ищем функцию, которая переворачивает список, нам нужна функция с типом [a] -> [a]. Таких

функций в Prelude несколько, но имя reverse одной из них может намекнуть на её смысл.

Но одной Prelude мир стандартных функций Haskell не ограничивается, если вы не нашли необходимую

вам функцию в Prelude её стоит поискать в других библиотечных модулях. Обычно функции разделяются

по тому на каких типах они определены. Так например функция sort :: Ord a => [a] -> [a] определена

не в Prelude, а в отдельном библиотечном модуле для списков он называется Data.List. Так же есть много

других модулей для разных типов, таких как Data.Bool, Data.Char, Data.Function, Data.Maybe и многие

другие. Не пугайтесь изобилия модулей постепенно они станут вашей опорой.

Для поиска в стандартных библиотеках есть замечательный интернет-сервис Hoogle (http://www.

haskell.org/hoogle/). Hoogle может искать значения не только по имени, но и по типам. Например мы

хотим узнать целочисленный код символа. Поиск по типу Char -> Int выдаёт искомую функцию digitToInt.

2.8 Краткое содержание

В этой главе мы познакомились с интерпретатором ghci и основными типами. Рассмотрели много при-

меров.

Документация | 37

Типы

Bool

– Основные операции: &&, ||, not, if c then t else e

Char

– Значения пишутся в ординарных кавычках, как в ’H’, ’+’

String

– Значения пишутся в двойных кавычках, как в ”Hello World”

Int

– Эффективные целые числа, но ограниченные

Integer

– Не ограниченные целые числа, но не эффективные

Double

– Числа с двойной точностью

Float

– Числа с ординарной точностью

Rational

– Дробные числа

Нам впервые встретились кортежи (на функции properFraction). Кортежи используются для возвраще-

ния из функции нескольких значений. Элементы кортежа могут иметь разные типы. Для извлечения элемен-

тов из кортежей-пар используются функции fst и snd. Кортежи пишутся в скобках, и элементы разделены

запятыми:

(a, b)

(a, b, c)

(a, b, c, d)

...

Классы

Show

Печать

Eq

Сравнение на равенство

Num

Сложение и умножение

Fractional

Деление

Особенности синтаксиса

Запись применения функции:

Префиксная

Инфиксная

add a b

a ‘add‘ b

(+) a b

a + b

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

2.9 Упражнения

• Напишите функцию beside :: Nat -> Nat -> Bool, которая будет возвращать True только в том случае,

если два аргумента находятся рядом, то есть один из них можно получить через другой операцией Succ.

• Напишите функцию beside2 :: Nat -> Nat -> Bool, которая будет возвращать True только если

аргументы являются соседями через некоторое другое число.

• Мы написали очень неэффективную функцию сложения натуральных чисел. Проблема в том, что число

рекурсивных вызовов функции зависит от величины второго аргумента. Если мы захотим прибавить

единицу к сотне, то порядок следования аргументов существенно повлияет на скорость вычисления.

Напишите функцию, которая лишена этого недостатка.