Миран Липовача - Изучай Haskell во имя добра!

Напишем программу, которая запрашивает строку текста и, если строка равна «РЫБА-МЕЧ», печатает её:

import Control.Monad

main = do

input <- getLine

when (input == "РЫБА-МЕЧ") $ do

putStrLn input

Без whenнам понадобилось бы написать нечто такое:

main = do

input <- getLine

if (input == "РЫБА-МЕЧ")

then putStrLn input

else return ()

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

Функция sequenceпринимает список действий ввода-вывода и возвращает одно действие ввода-вывода, последовательно выполняющее действия из списка. Результат выполнения этого действия – список результатов вложенных действий. Сигнатура типа функции: sequence :: [IO a] –> IO [a]. Выполним следующее:

main = do

a <���– getLine

b <���– getLine

c <���– getLine

print [a,b,c]

То же самое, но с использованием функции sequence:

main = do

rs <���– sequence [getLine, getLine, getLine]

print rs

Итак, выражение sequence [getLine, getLine, getLine]создаст действие ввода-вывода, которое выполнит функцию getLineтри раза. Если мы свяжем это действие с именем, результат будет представлять собой список результатов действий из изначального списка, в нашем случае – то, что пользователь введёт с клавиатуры.

Функция sequenceобычно используется, если мы хотим пройтись по списку функциями printили putStrLn. Вызов map print [1,2,3,4]не создаёт действия ввода-вывода – вместо этого создаётся список действий. Такой код на самом деле эквивалентен следующему:

[print 1, print 2, print 3, print 4]

Если мы хотим преобразовать список действий в действие, то необходимо воспользоваться функцией sequence:

ghci> sequence $ map print [1,2,3,4]

1

2

3

4

[(),(),(),()]

Но что это за [(),(),(),()]в конце вывода? При выполнении в GHCi действия ввода-вывода помимо самого действия выводится результат выполнения, но только если этот результат не есть (). Поэтому при выполнении в GHCi putStrLn "ха-ха"просто выводится строка – результатом является (). Если же попробовать ввести getLine, то помимо собственно ввода с клавиатуры будет выведено введённое значение – результатом является IO String.

Поскольку применение функции, возвращающей действие ввода-вывода, к элементам списка и последующее выполнение всех полученных действий очень распространено, для этих целей были введены две вспомогательные функции – mapMи mapM_. Функция mapMпринимает функцию и список, применяет функцию к элементам списка, сводит элементы в одно действие ввода-вывода и выполняет их. Функция mapM_работает так же, но отбрасывает результат действия ввода-вывода. Она используется, когда нам не важен результат комбинированного действия ввода-вывода.

ghci> mapM print [1,2,3]

1

2

3

[(),(),()]

ghci> mapM_ print [1,2,3]

1

2

3

Функция foreverпринимает действие ввода-вывода – параметр и возвращает действие ввода-вывода – результат. Действие-результат будет повторять действие-параметр вечно. Эта функция входит в модуль Control.Monad. Следующая программа будет бесконечно спрашивать у пользователя строку и возвращать её в верхнем регистре:

import Control.Monad

import Data.Char

main = forever $ do

putStr "Введите что-нибудь: "

l <���– getLine

putStrLn $ map toUpper l

Функция forM(определена в модуле Control.Monad) похожа на функцию mapM, но её параметры поменяны местами. Первый параметр – это список, второй – это функция, которую надо применить к списку и затем свести действия из списка в одно действие. Для чего это придумано? Если творчески использовать лямбда-выражения и ключевое слово do, можно проделывать такие фокусы:

import Control.Monad

main = do

colors <���– forM [1,2,3,4] (\a –> do

putStrLn $ "С каким цветом ассоциируется число "

++ show a ++ "?"

color <���– getLine

return color)

putStrLn "Цвета, ассоциирующиеся с 1, 2, 3 и 4: "

mapM putStrLn colors

Вот что мы получим при запуске:

С каким цветом ассоциируется число 1?