Подтвердить что ты не робот

Walk vs map для обработки seq

Как я понимаю, walk и map применяют функцию к seq. (walk также позволяет применять пост-обработку функции outer). Однако каковы идиоматические случаи использования одного над другим?

4b9b3361

Ответ 1

Применением функции к seq является задание карты. Используйте прогулку, когда вам нужно пройти через и рекурсивно во всю структуру.

Некоторые примеры walk можно найти на ClojureDocs, также доступном в REPL, например. (user/clojuredocs clojure.walk/postwalk). Многие из примеров являются педагогическими и могут и должны выполняться с помощью map или for (а иногда и reduce) на практике.

Типичный прецедент для walk - это когда у вас есть вложенная структура, которую вы хотите обработать рекурсивно. Некоторые примеры, когда это может быть полезно, - это само пространство имен clojure.walk, например. посмотрите (source clojure.walk/keywordize-keys). [Обратите внимание, что если вы хотите обработать его итеративно или по желанию, используйте молнии (или tree-seq для некоторых более простых итерационных случаев).]

Другим примером, который приходит на ум, является интерпретация деревьев разбора:

(require '[clojure.walk :as w])

(def t [+ [* [- 6 2] [/ 9 3]] [* 2 [+ 7 8]]])

(w/postwalk #(if (and (coll? %) (fn? (first %))) (apply (first %) (next %)) %) t)
;=> 42

Возможно, полезно, если, например, заменить fn? на allowed-fn? и т.д., чтобы оценить edn вместо вызова слишком мощного компилятора eval:

(eval t) ;=> [#<core$_PLUS_ ... ] 

К сожалению, формы - это списки, а не векторы:

(def s (w/postwalk #(if (coll? %) (apply list %) %) t))
s ;=> (#<core$_PLUS_ ... )
(eval s) ;=> 42

Ah, обратите внимание на другое использование walk - рекурсивное изменение структуры из вложенных векторов во вложенные списки.

Итеративный пример для медитации:

(require '[clojure.walk :as w])

(def s1 (range 8))
s1 ;=> (0 1 2 3 4 5 6 7)
(map inc s1)
;=> (1 2 3 4 5 6 7 8)
(w/postwalk #(if (number? %) (inc %) %) s1)
;=> (1 2 3 4 5 6 7 8)

(def s2 (partition 2 s1))
s2 ;=> ((0 1) (2 3) (4 5) (6 7))
(map (partial map inc) s2)
;=> ((1 2) (3 4) (5 6) (7 8))
(w/postwalk #(if (number? %) (inc %) %) s2)
;=> ((1 2) (3 4) (5 6) (7 8))

(def s3 (partition 2 s2))
s3 ;=> ((0 1) (2 3) (4 5) (6 7))
(map (partial map (partial map inc)) s3)
;=> (((1 2) (3 4)) ((5 6) (7 8)))
(w/postwalk #(if (number? %) (inc %) %) s3)
;=> (((1 2) (3 4)) ((5 6) (7 8)))

(def s4 (partition 2 s3))
s4 ;=> ((((0 1) (2 3)) ((4 5) (6 7))))
(map (partial map (partial map (partial map inc))) s4)
;=> ((((1 2) (3 4)) ((5 6) (7 8))))
(w/postwalk #(if (number? %) (inc %) %) s4)
;=> ((((1 2) (3 4)) ((5 6) (7 8))))

Ответ 2

Семантика для map заключается в основном: применить функцию к каждому элементу в коллекции и лениво вернуть результаты в последовательности:

(map inc #{0 1 2}) ;outputs (when realized) (1 2 3)

Обратите внимание, что вход был набором, но выход представляет собой последовательность.

Семантика для ходьбы в основном: создайте коллекцию того же типа, где каждый элемент был заменен значением функции inner для этого элемента, возвращает результат применения outer к новой коллекции:

(walk inc identity #{0 1 2}) ;outputs #{1 2 3}

Если вы посмотрите на исходный код для других функций API ходьбы (http://richhickey.github.com/clojure/clojure.walk-api.html), вы можете увидеть, как сделать рекурсивную прогулку ( или просто использовать эти другие функции).

Что касается идиом, я не уверен. Но walk более сложный, поэтому вы, вероятно, должны придерживаться map в тех случаях, когда вам не нужна семантика, которую предлагает walk.

Ответ 3

Для map, я думаю, идиоматический вариант использования вполне понятен: когда вам нужно преобразовать все в последовательности, используйте его.

Для clojure.walk/walk, я думаю, что идиоматический вариант использования: когда вам нужно преобразовать все в последовательности, а затем выполнить операцию apply fn.

(clojure.walk/walk second #(apply +  %)  [["a" 1] ["b" 2] ["c" 3]])
;; => 6

(clojure.walk/walk first #(apply concat %)  [["ab" 1] ["b" 2] ["c" 3]])
;; => (\a \b \b \c)

(mapcat first [["ab" 1] ["b" 2] ["c" 3]])
;; => (\a \b \b \c)

Обратите внимание на сходство между clojure.walk/walk и mapcat, я лично считаю, что walk - это общая форма mapcat.