2024 Clojure状态调查!中分享您的想法。

欢迎!请访问关于页面以获取更多关于它是如何工作的信息。

+1
Clojure
(let [coll [{:a 1 :b 2}
            {:a 3 :b 4}
            {:a 7 :b 5}
            {:a 1 :b 4}]
      xf1 (comp (map :a) (filter #{1 3}))
      xf2 (comp (map :b) (filter #{2 4}))]
  (concat
    (into [] xf1 coll)
    (into [] xf2 coll)))

如何将上面两个xforms (xf1 和 xf2) 合并成一个,使得集合 coll 只会被遍历一次?

4 个答案

0

并不是真正意义上的transducer的组合,但是...

(let [coll [{:a 1 :b 2}
            {:a 3 :b 4}
            {:a 7 :b 5}
            {:a 1 :b 4}]
      xf1 #(-> % :a #{1 3})
      xf2 #(-> % :b #{2 4})] 
  (into []
    (comp 
      (mapcat (juxt xf1 xf2))
      (remove nil?))
    coll))
=> [1 2 3 4 1 4]
好的尝试,但我是在寻找一种合并transducer的方法...
0
  (let [coll [{:a 1 :b 2}
              {:a 3 :b 4}
              {:a 7 :b 5}
              {:a 1 :b 4}]
        xf1 (comp (map :a) (filter #{1 3}))
        xf2 (comp (map :b) (filter #{2 4}))]
    (eduction cat [(eduction xf1 coll) (eduction xf2 coll)]))

eduction可以用sequence替代。

0
(defn facet [m]
  (fn [f]
    (let [m (into {} (for [[k v] m]
                       [k (v f)]))]
      (fn
        ([accum]
         (reduce
          (fn [accum1 [k accum2]]
            (assoc accum1 k ((get m k) accum2)))
          accum
          accum))
        ([accum value]
         (reduce
          (fn [accum1 [k accum2]]
            (assoc accum1 k ((get m k) accum2 value)))
          accum
          accum))))))

(let [coll [{:a 1 :b 2}
            {:a 3 :b 4}
            {:a 7 :b 5}
            {:a 1 :b 4}]
      xf1 (comp (map :a) (filter #{1 3}))
      xf2 (comp (map :b) (filter #{2 4}))]
  ((comp (partial apply concat)
         (juxt :a :b))
   (transduce
    (facet {:a xf1
            :b xf1})
    conj
    {:a []
     :b []}
    coll)))
寻找有趣的转换器的好地方是 https://github.com/cgrand/xforms,而关于使用折叠进行不同类型处理的好地方是 https://github.com/aphyr/tesser
0

编辑了

哎呀,我意识到我实际上没有回答你的问题。我将我的原始问题移动到一个评论中。

使用cgrand/xforms,一个可能的答案是

(let [coll [{:a 1 :b 2}
            {:a 3 :b 4}
            {:a 7 :b 5}
            {:a 1 :b 4}]
      xf1 (comp (map :a) (filter #{1 3}))
      xf2 (comp (map :b) (filter #{2 4}))]
  (= (concat
      (into [] xf1 coll)
      (into [] xf2 coll))
     
     ;; do it in one pass
     (x/into []
       (comp (x/transjuxt [(comp xf1 (x/into [])) (comp xf2 (x/into []))])
             cat
             cat)
       coll)))
这里还有一个搜索功能。我最近遇到了类似的情况,其中我想对几个输入集合进行不同的转换,并最终得到一个集合,所以我尝试了几种不同的方法。

以下是我的REPL会话。经过一些基本的性能测试,我得出结论,将集合通过多个`into`进行线程可能是最合适的,并且在性能方面并不比`catduce`差。

    (def input1 (into [] (range 100000)))
    (def input2 (into [] (range 999 9999)))
    (def xf1 (filter odd?))
    (def xf2 (map inc))
    (def xf3 (take 100))
    (def xf4 (comp (filter even?) (map dec) (take 1000)))
  
    ;; concat (不喜欢这种方式,因为它太懒且分配了多个中间集合)
    (def result (into []
                       (concat
                             (into [] xf1 input1)
                             (into [] xf2 input1)
                             (into [] xf3 input2)
                             (into [] xf4 input2))))
  
    ;; cat (仍然分配中间集合)
    (= result
              (into []
                       cat
                       [(into [] xf1 input1)
                          (into [] xf2 input1)
                          (into [] xf3 input2)
                          (into [] xf4 input2)]))
  
    ;; intos (没有中间分配,但多次临时的/持久的切换)
    ;; - 尽管如此,这不应该是一个太大的问题,因为它们都是 O(1) 的)
    (= result
       (-> []
              (into xf1 input1)
              (into xf2 input1)
              (into xf3 input2)
              (into xf4 input2)))
  
    ;; reduce into
    ;; - 几乎与 intos 解决方案相同,无需多次编写 into)
    (= result
       (reduce
         #(into %1 (second %2) (first %2))
         []
         [[input1 xf1]
          [input1 xf2]
          [input2 xf3]
          [input2 xf4]]))
  
    ;; catduce
    ;; - 尝试查看是否可以在没有许多临时的/持续的切换的情况下完成
    (defn catduce
      "从 clojure.core/cat 适应性移植"
      [rf]
      (fn
        ([] (rf))
        ([result] (rf result))
        ([result input+xf]
         (transduce (second input+xf) rf result (first input+xf)))))
  
    (= result
       (into [] catduce
             [[input1 xf1]
              [input1 xf2]
              [input2 xf3]
              [input2 xf4]]))
...