Лучше ли использовать государственную монаду или передать состояние рекурсивно?

Question

Я просто изучаю Haskell и пытаюсь выяснить самый идиоматический способ реализации алгоритма поиска.

Демо-код, который я нашел, использует государственную монаду, но мне кажется, что мне проще (я всего лишь новичок), чтобы передать состояние рекурсивно. Что мне здесь не хватает? Существуют ли проблемы с производительностью?

Найти код по адресу: http://www.finalcog.com/bresenham-algorithm-idiomatic-haskell

Спасибо,

Криса.

Answer 1

Это может стать немного подробным, чтобы пройти состояние во всем мире. Кроме того, государственная монада хорошо известна большинству кодеков хэскела, чтобы они знали, что вы делаете. Если вы отрубите свой собственный, вне монады, может быть сложно определить, что делает ваш код.

Я нахожу государственную монаду аккуратной для инкапсуляции изменений состояния, довольно очевидно, какая часть вашего кода является состоятельной (т. Е. Изменяет или зависит от состояния) w.r.t. остальная часть чистого материала.

Answer 2

Для более крупных программ лучше спрятать государственную сантехнику в монаде. Тогда есть меньше риска ошибки.

Answer 3

Преимущество использования монады для передачи состояния, а не передачи состояния явно, состоит в том, что для монад, которые вы можете использовать, имеется много полезных комбинаторов.