Изучай Haskell во имя добра! (Липовача) - страница 292
Ну или вдруг мы уже находимся в корне какого-либо дерева, и у нас нет «хлебных крошек», но мы всё же пытаемся переместиться вверх? Произошло бы то же самое! Кажется, при использовании застёжек каждый наш шаг может стать последним (не хватает только зловещей музыки). Другими словами, любое перемещение может привести к успеху, но также может привести и к неудаче. Вам это что-нибудь напоминает? Ну конечно же: монады! А конкретнее, монаду >Maybe, которая добавляет к обычным значениям контекст возможной неудачи.
Давайте используем монаду >Maybe, чтобы добавить к нашим перемещениям контекст возможной неудачи. Мы возьмём функции, которые работают с нашей застёжкой для двоичных деревьев, и превратим в монадические функции.
Сначала давайте позаботимся о возможной неудаче в функциях >goLeft и >goRight. До сих пор неуспешное окончание выполнения функций, которые могли окончиться неуспешно, всегда отражалось в их результате, и этот пример – не исключение.
Вот определения функций >goLeft и >goRight с добавленной возможностью неудачи:
>goLeft :: Zipper a –> Maybe (Zipper a)
>goLeft (Node x l r, bs) = Just (l, LeftCrumb x r:bs)
>goLeft (Empty, _) = Nothing
>goRight :: Zipper a –> Maybe (Zipper a)
>goRight (Node x l r, bs) = Just (r, RightCrumb x l:bs)
>goRight (Empty, _) = Nothing
Теперь, если мы попытаемся сделать шаг влево относительно пустого дерева, мы получим значение >Nothing!
>ghci> goLeft (Empty, [])
>Nothing
>ghci> goLeft (Node 'A' Empty Empty, [])
>Just (Empty, [LeftCrumb 'A' Empty])
Выглядит неплохо! Как насчёт движения вверх? Раньше возникала проблема, если мы пытались пойти вверх, но у нас больше не было «хлебных крошек», что значило, что мы уже находимся в корне дерева. Это функция >goUp, которая выдаст ошибку, если мы выйдем за пределы нашего дерева:
>goUp :: Zipper a –> Zipper a
>goUp (t, LeftCrumbx r:bs) = (Node x t r, bs)
>goUp (t, RightCrumb x l:bs) = (Node x l t, bs)
Давайте изменим её, чтобы она завершалась неудачей мягко:
>goUp :: Zipper a –> Maybe (Zipper a)
>goUp (t, LeftCrumbx r:bs) = Just (Node x t r,bs)
>goUp (t, RightCrumb x l:bs) = Just (Node x l t, bs)
>goUp (_, []) = Nothing
Если у нас есть хлебные крошки, всё в порядке, и мы возвращаем успешный новый фокус. Если у нас нет хлебных крошек, мы возвращаем неудачу.
Раньше эти функции принимали застёжки и возвращали застёжки, что означало, что мы можем сцеплять их следующим образом для осуществления обхода:
>gchi> let newFocus = (freeTree, []) –: goLeft –: goRight
Но теперь вместо того, чтобы возвращать значение типа >Zipper a, они возвращают значение типа