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

Linking reverse ...

$ ./reverse

уберитесь в проходе номер 9

ьсетиребу в едохорп ремон 9

козёл ошибки осветит твою жизнь

лёзок икбишо титевсо юовт ьнзиж

но это всё мечты

он отэ ёсв ытчем

Для начала посмотрим на функцию reverseWords. Это обычная функция, которая принимает строку, например "эй ты мужик", и вызывает функцию words, чтобы получить список слов ["эй", "ты","мужик"]. Затем мы применяем функцию reverseк каждому элементу списка, получаем ["йэ","ыт","кижум"]и помещаем результат обратно в строку, используя функцию unwords. Конечным результатом будет "йэ ыт кижум".

Теперь посмотрим на функцию main. Сначала мы получаем строку с терминала с помощью функции getLine. Далее у нас имеется условное выражение. Запомните, что в языке Haskell каждое ключевое слово ifдолжно сопровождаться секцией else, так как каждое выражение должно иметь некоторое значение. Наш оператор записан так, что если условие истинно (в нашем случае – когда введут пустую строку), мы выполним одно действие ввода-вывода; если оно ложно – выполним действие ввода-вывода из секции else. По той же причине в блоке doусловные операторы ifдолжны иметь вид if < условие > then < действие ввода-вывода > else < действие ввода-вывода >.

Вначале посмотрим, что делается в секции else. Поскольку можно поместить только одно действие ввода-вывода после ключевого слова else, мы используем блок doдля того, чтобы «склеить» несколько операторов в один. Эту часть можно было бы написать так:

else (do

putStrLn $ reverseWords line

main)

Подобная запись явно показывает, что блок doможет рассматриваться как одно действие ввода-вывода, но и выглядит она не очень красиво. В любом случае внутри блока doмы можем вызвать функцию reverseWordsсо строкой – результатом действия getLineи распечатать результат. После этого мы выполняем функцию main. Получается, что функция mainвызывается рекурсивно, и в этом нет ничего необычного, так как сама по себе функция main– тоже действие ввода-вывода. Таким образом, мы возвращаемся к началу программы в следующей рекурсивной итерации.

Ну а что случится, если мы получим на вход пустую строку? В этом случае выполнится часть после ключевого слова then. То есть выполнится выражение return (). Если вам приходилось писать на императивных языках вроде C, Java или на Python, вы наверняка уверены, что знаете, как работает функция return– и, возможно, у вас возникнет искушение пропустить эту часть текста. Но не стоит спешить: функция returnв языке Haskell работает совершенно не так, как в большинстве других языков! Её название сбивает с толку, но на самом деле она довольно сильно отличается от своих «тёзок». В императивных языках ключевое слово returnобычно прекращает выполнение метода или процедуры и возвращает некоторое значение вызывающему коду. В языке Haskell (и особенно в действиях ввода-вывода) одноимённая функция создаёт действие ввода-вывода из чистого значения. Если продолжать аналогию с коробками, она берёт значение и помещает его в «коробочку». Получившееся в результате действие ввода-вывода на самом деле не выполняет никаких действий – оно просто инкапсулирует некоторое значение. Таким образом, в контексте системы ввода-вывода return "ха-ха"будет иметь тип IO String. Какой смысл преобразовывать чистое значение в действие ввода-вывода, которое ничего не делает? Зачем «пачкать» нашу программу больше необходимого? Нам нужно некоторое действие ввода-вывода для второй части условного оператора, чтобы обработать случай пустой строки. Вот для чего мы создали фиктивное действие ввода-вывода, которое ничего не делает, записав return ().

Вызов функции returnне прекращает выполнение блока do– ничего подобного! Например, следующая программа успешно выполнится вся до последней строчки:

main = do

return ()

return "ХА-ХА-ХА"

line <���– getLine

return "ЛЯ-ЛЯ-ЛЯ"

return 4

putStrLn line

Всё, что делает функция return, – создаёт действия ввода-вывода, которые не делают ничего, кроме как содержат значения, и все они отбрасываются, поскольку не привязаны к образцам. Мы можем использовать функцию returnвместе с символом <���–для того, чтобы связывать значения с образцами.