Unknown - haskell-notes

putStr

:: String -> IO()

putStr s

=

hPutStr stdout s

А так читаем строку с клавиатуры:

getLine

:: IO String

getLine

=

hGetLine stdin

В этих функциях используются дескрипторы стандартных потоков данных stdin и stdout. Отметим функ-

цию withFile:

withFile :: FilePath -> IOMode ->( Handle -> IOr) -> IOr

Она открывает файл в заданном режиме выполняет функцию на его дескрипторе и и закрывает файл.

Например через эту функцию определены функции readFile и appendFile:

appendFile

:: FilePath -> String -> IO()

appendFile f txt =withFile f AppendMode(\hdl ->hPutStr hdl txt)

writeFile :: FilePath -> String -> IO()

writeFile f txt =withFile f WriteMode(\hdl ->hPutStr hdl txt)

8.5 Форточка в мир побочных эффектов

В самом начале главы я сказал о том, что из мира IO

нет выхода. Нет функции с типом IOa ->a. На самом деле выход есть. Функция с таким типом живёт в

модуле System.IO.Unsafe:

unsafePerformIO :: IOa ->a

Длинное имя функции намекает на то, что её необходимо использовать с крайней осторожностью. По-

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

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

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

то мы можем считать, что его значение окажется неизменным на протяжении работы программы. Это говорит

о том, что нам не важно когда читать данные. Поэтому здесь мы вроде бы ничем не рискуем. “Вроде бы”

потому что ответственность за постоянство файла лежит на наших плечах.

Эта функция часто используется при вызове функций С через Haskell. В Haskell есть возможность вызывать

функции, написанные на C. Но по умолчанию такие функции заворачиваются в тип IO. Если функция является

чистой в С, то она будет чистой и при вызове через Haskell. Мы можем поручиться за её чистоту и вычислитель

нам поверит. Но если мы его обманули, мы пожнём плоды своего обмана.

138 | Глава 8: IO

Отладка программ

Раз уж речь зашла о “грязных” возможностях языка стоит упомянуть функцию trace из модуля

Debug.Trace. Посмотрим на её тип:

trace :: String ->a ->a

Это служебная функция эхо-печати. Когда дело доходит до вычисления функции trace на экран выводит-

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

Это функция id с побочным эффектом вывода сообщения на экран. Ею можно пользоваться для отладки. На-

пример так можно вернуть значение и распечатать его:

echo :: Showa =>a ->a

echo a =trace (show a) a

8.6 Композиция монад

Эта глава завершает наше путешествие в мире типов-монад. Мы начали наше знакомство с монадами с

композиции, мы определили класс Monadчерез класс Kleisli, который упрощал составление специальных

функций вида a ->m b. Тогда мы познакомились с самыми простыми типами монадами (списки и частично

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

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

рассказ на теме композиции. Мы поговорим о композиции нескольких монад.

Если вы посмотрите в исходный код библиотеки transformers, то увидите совсем другое определение для

State:

type States = StateTs Identity

newtype StateTs m a = StateT{ runStateT ::s ->m (a,s) }

newtype Identitya = Identity{ runIdentity ::a }

Но так ли оно далеко от нашего? Давайте разберёмся. Identityэто тривиальный тип обёртка. Мы просто

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

делить экземпляры всех рассмотренных в этой главе классов для этого типа. Тип StateTбольше похож на

наше определение для State, единственное отличие – это дополнительный параметр m в который завёрнут

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

в определении для State

type States = StateTs Identity

Мы передаём дополнительным параметром в StateTтип Identity, который как раз ничего и не делает

с типом. Так мы получим наше исходное определение, но зачем такие премудрости? Такой тип принято