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

Ещё раз давайте взглянем на то, как выглядел бы этот кусок кода, если бы мы не использовали монадические стороны типа Maybe:

routine :: Maybe Pole

routine =

case Just (0, 0) of

Nothing –> Nothing

Just start –> case landLeft 2 start of

Nothing –> Nothing

Just first –> case landRight 2 first of

Nothing –> Nothing

Just second –> landLeft 1 second

Видите, как в случае успеха образец startполучает значение кортежа внутри Just (0, 0), образец firstполучает значение результата выполнения landLeft 2 startи т. д.?

Если мы хотим бросить Пьеру банановую кожуру в нотации do, можем сделать следующее:

routine :: Maybe Pole

routine = do

start <���– return (0, 0)

first <���– landLeft 2 start

Nothing

second <���– landRight 2 first

landLeft 1 second

Когда мы записываем в нотации doстроку, не связывая монадическое значение с помощью символа <���–, это похоже на помещение вызова функции >>за монадическим значением, результат которого мы хотим игнорировать. Мы помещаем монадическое значение в последовательность, но игнорируем его результат, так как нам неважно, чем он является. Плюс ко всему это красивее, чем записывать эквивалентную форму _ <���– Nothing.

Когда использовать нотацию do, а когда явно использовать вызов операции >>=, зависит от вас. Я думаю, этот пример хорошо подходит для того, чтобы явно использовать операцию >>=, потому что каждый шаг прямо зависит от предыдущего. При использовании нотации doмы должны явно записывать, на каком шесте садятся птицы, но каждый раз мы просто используем шест, который был результатом предшествующего приземления. Тем не менее это дало нам некоторое представление о нотации do.

Привязывая монадические значения к идентификаторам в нотации do, мы можем использовать сопоставление с образцом так же, как в выражениях letи параметрах функции. Вот пример сопоставления с образцом в выражении do:

justFirst :: Maybe Char

justFirst = do

(x:xs) <���– Just "привет"

return x

Мы используем сопоставление с образцом для получения первого символа строки "привет", а затем возвращаем его в качестве результата. Поэтому justFirstвозвращает значение Just 'п'.

Что если бы это сопоставление с образцом окончилось неуспешно? Когда сопоставление с образцом в функции оканчивается не успешно, происходит сопоставление со следующим образцом. Если сопоставление проходит по всем образцам для данной функции с невыполнением их условий, выдаётся ошибка и происходит аварийное завершение работы программы. С другой стороны, сопоставление с образцом, окончившееся неудачей в выражениях let, приводит к незамедлительному возникновению ошибки, потому что в выражениях letотсутствует механизм прохода к следующему образцу при невыполнении условия.

Когда сопоставление с образцом в выражении doзавершается неуспешно, функция fail(являющаяся частью класса типов Monad) позволяет ему вернуть в результате неудачу в контексте текущей монады, вместо того чтобы привести к аварийному завершению работы программы. Вот реализация функции по умолчанию:

fail :: (Monad m) => String –> m a

fail msg = error msg

Так что по умолчанию она действительно заставляет программу завершаться аварийно. Но монады, содержащие в себе контекст возможной неудачи (как тип Maybe), обычно реализуют её самостоятельно. Для типа Maybeона реализована следующим образом:

fail _ = Nothing

Она игнорирует текст сообщения об ошибке и производит значение Nothing. Поэтому, когда сопоставление с образцом оканчивается неуспешно в значении типа Maybe, записанном в нотации do, результат всего значения будет равен Nothing. Предпочтительнее, чтобы ваша программа завершила свою работу неаварийно. Вот выражение do, включающее сопоставление с образцом, которое обречено на неудачу:

wopwop :: Maybe Char

wopwop = do

(x:xs) <���– Just ""

return x

Сопоставление с образцом оканчивается неуспешно, поэтому эффект аналогичен тому, как если бы вся строка с образцом была заменена значением Nothing. Давайте попробуем это:

ghci> wopwop

Nothing

Неуспешно окончившееся сопоставление с образцом вызвало неуспех только в контексте нашей монады, вместо того чтобы вызвать неуспех на уровне всей программы. Очень мило!..