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

За исключением последней строчки, каждая строка в блоке doможет быть использована для связывания. Например, putStrLn "ЛЯ"может быть записана как _ <���– putStrLn "ЛЯ". Но в этом нет никакого смысла, так что мы опускаем <���–для действий ввода-вывода, не возвращающих значимого результата.

Иногда начинающие думают, что вызов

myLine = getLine

считает значение со стандартного входа и затем свяжет это значение с именем myLine. На самом деле это не так. Такая запись даст функции getLineдругое синонимичное имя, в данном случае – myLine. Запомните: чтобы получить значение из действия ввода-вывода, вы должны выполнять его внутри другого действия ввода-вывода и связывать его с именем при помощи символа <���–.

Действие ввода-вывода будет выполнено, только если его имя mainили если оно помещено в составное действие с помощью блока do. Также мы можем использовать блок doдля того, чтобы «склеить» несколько действий ввода-вывода в одно. Затем можно будет использовать его в другом блоке doи т. д. В любом случае действие будет выполнено, только если оно каким-либо образом вызывается из функции main.

Ах, да, есть ещё один способ выполнить действие ввода-вывода! Если напечатать его в интерпретаторе GHCi и нажать клавишу Enter, действие выполнится.

gchi> putStrLn "При-и-и-вет"

При-и-и-вет

Даже если мы просто наберём некоторое число или вызовем некоторую функцию в GHCi и нажмём Enter, интерпретатор GHCi вычислит значение, затем вызовет для него функцию show, чтобы получить строку, и напечатает строку на терминале, используя функцию putStrLn.

Помните связывания при помощи ключевого слова let? Если уже подзабыли, освежите свои знания. Связывания должны быть такого вида: let < определения > in < выражение >, где < определения >– это имена, даваемые выражениям, а < выражение >использует имена из < определений >. Также мы говорили, что в списковых выражениях часть inне нужна. Так вот, в блоках doможно использовать выражение letтаким же образом, как и в списковых выражениях. Смотрите:

import Data.Char

main = do

putStrLn "Ваше имя?"

firstName <���– getLine

putStrLn "Ваша фамилия?"

lastName <���– getLine

let bigFirstName = map toUpper firstName

bigLastName = map toUpper lastName

putStrLn $ "Привет, " ++ bigFirstName ++ " "

++ bigLastName

++ ", как дела?"

Видите, как выровнены операторы действий ввода-вывода в блоке do? Обратите внимание и на то, как выровнено выражение letпо отношению к действиям ввода-вывода и как выровнены образцы внутри выражения let. Это хороший пример, потому что выравнивание текста очень важно в языке Haskell. Далее мы записали вызов map toUpper firstName, что превратит, например, "Иван"в намного более солидное "ИВАН". Мы связали эту строку в верхнем регистре с именем, которое использовали в дальнейшем при выводе на терминал.

Вам может быть непонятно, когда использовать символ <���–, а когда выражение let. Запомните: символ <���–(в случае действий ввода-вывода) используется для выполнения действий ввода-вывода и связывания результатов с именами. Выражение map toUpper firstNameне является действием ввода-вывода – это чистое выражение. Соответственно, используйте символ <���–для связывания результатов действий ввода-вывода с именами, а выражение let– для связывания имён с чистыми значениями. Если бы мы выполнили что-то вроде let firstName = getLine, то просто создали бы синоним функции getLine, для которого значение всё равно должно получаться с помощью символа <���–.

Теперь напишем программу, которая будет считывать строки, переставлять в обратном порядке буквы в словах и распечатывать их. Выполнение программы прекращается при вводе пустой строки. Итак:

main = do

line <���– getLine

if null line

then return ()

else do

putStrLn $ reverseWords line

main

reverseWords :: String –> String

reverseWords = unwords . map reverse . words

Чтобы лучше понять, как работает программа, сохраните её в файле reverse.hs , скомпилируйте и запустите:

$ ghc reverse.hs

[1 of 1] Compiling Main ( reverse.hs, reverse.o )