Изучай Haskell во имя добра! (Липовача) - страница 237

>ghci> guard (5 > 2) >> return "клёво" :: [String]

>["клёво"]

>ghci> guard (1 > 2) >> return "клёво" :: [String]

>[]

Если функция >guard срабатывает успешно, результатом, находящимся в ней, будет пустой кортеж. Поэтому дальше мы используем операцию >>>, чтобы игнорировать этот пустой кортеж и предоставить что-нибудь другое в качестве результата. Однако если функция >guard не срабатывает успешно, функция >return впоследствии тоже не сработает успешно, потому что передача пустого списка функции с помощью операции >>>= всегда даёт в результате пустой список. Функция >guard просто говорит: «Если это значение типа >Bool равно >False, верни неуспешное окончание вычислений прямо здесь. В противном случае создай успешное значение, которое содержит в себе значение-пустышку >()». Всё, что она делает, – позволяет вычислению продолжиться.

Вот предыдущий пример, переписанный в нотации >do:

>sevensOnly :: [Int]

>sevensOnly = do

>   x <– [1..50]

>   guard ('7' `elem` show x)

>   return x

Если бы мы забыли представить образец >x в качестве окончательного результата, используя функцию >return, то результирующий список состоял бы просто из пустых кортежей. Вот определение в форме генератора списка:

>ghci> [x | x <– [1..50], '7' `elem` show x]

>[7,17,27,37,47]

Поэтому фильтрация в генераторах списков – это то же самое, что использование функции >guard.

Есть проблема, которая очень подходит для решения с помощью недетерминированности. Скажем, у нас есть шахматная доска и на ней только одна фигура – конь. Мы хотим определить, может ли конь достигнуть определённой позиции в три хода. Будем использовать пару чисел для представления позиции коня на шахматной доске. Первое число будет определять столбец, в котором он находится, а второе число – строку.

Создадим синоним типа для текущей позиции коня на шахматной доске.

>type KnightPos = (Int, Int)

Теперь предположим, что конь начинает движение с позиции >(6, 2). Может ли он добраться до >(6, 1) именно за три хода? Какой ход лучше сделать следующим из его нынешней позиции? Я знаю: как насчёт их всех?! К нашим услугам недетерминированность, поэтому вместо того, чтобы выбрать один ход, давайте просто выберем их все сразу! Вот функция, которая берёт позицию коня и возвращает все его следующие ходы:

>moveKnight :: KnightPos –> [KnightPos]

>moveKnight (c,r) = do

>   (c',r') <– [(c+2,r-1),(c+2,r+1),(c-2,r-1),(c-2,r+1)

>              ,(c+1,r-2),(c+1,r+2),(c-1,r-2),(c-1,r+2)

>              ]

>   guard (c' `elem` [1..8] && r' `elem` [1..8])