Clojure 过滤器组合物与减少答案

【问题标题】：Clojure filter composition with reduceClojure 过滤器组合物与减少
【发布时间】：2015-01-10 06:49:06
【问题描述】：

我有一个更高阶的谓词

(defn not-factor-of-x? [x]
  (fn [n]
    (cond 
      (= n x) true
      (zero? (rem n x)) false
      :else true)))

返回一个谓词，检查给定参数 n 是否不是 x 的因子。现在我想过滤一个数字列表并找出哪些不是说'（2 3）的因素。一种方法是：

(filter (not-factor-of-x? 3) (filter (not-factor-of-x? 2) (range 2 100)))

但是一个人只能输入这么多。为了动态地做到这一点，我尝试了函数组合：

(comp (partial filter (not-factor-of-x? 2)) (partial filter (not-factor-of-x? 3)))

而且它有效。所以我尝试减少过滤器，如下所示：

(defn compose-filters [fn1 fn2]
  (comp (partial filter fn1) (partial filter fn2)))
(def composed-filter (reduce compose-filters (map not-factor-of-x? '(2 3 5 7 11))))
(composed-filter (range 2 122))   ; returns (2 3 4 5 6 7 8 9 10 .......)

那么，为什么过滤器组合没有按预期工作？

【问题讨论】：

怎么样 (remove (factor-of-x? ...) ...) 而不是 (filter (NOT-factor-of-x? ...) ...)跨度>

标签： clojure functional-programming higher-order-functions function-composition

【解决方案1】：

编写函数和/或改进代码的方法有很多。这是一个：

(defn factor? [n x]
  (and (not= n x) (zero? (rem n x))))

(->> (range 2 100)
     (remove #(factor? % 2))
     (remove #(factor? % 3)))

;; the same as the above
(->> (range 2 100)
     (remove (fn [n] (some #(factor? n %) [2 3]))))

【讨论】：

【解决方案2】：

要查看您对(reduce compose-filters ... 的问题，让我们看一下它的实际作用。首先，它在前两个谓词上使用filter 并组合它们。结果是一个从序列到序列的新函数。下一次迭代然后在该函数上调用filter，此时过滤器需要一个谓词。每个序列都是一个真值，因此新过滤器现在永远不会删除任何值，因为它使用总是返回真值的“谓词”。所以最后，只有最后一个过滤器实际上进行任何过滤 - 在我的 REPL 中，您的代码删除了数字 22、33、44 等等，因为 11 是其中的一个因素。我认为你想在这里做的减少更像是

(reduce comp (map (comp (partial partial filter) not-factor-of-x?) '(2 3 5 7 11)))

请注意，因为我们只想为每个号码调用一次(partial filter)，您可以将其移至 mapreduce 的映射步骤。至于我将如何做到这一点，考虑到您将所有谓词一起生成：

(map not-factor-of-x? '(2 3 5 7 11))

对我来说，使用every-pred 组合谓词似乎更自然

(apply every-pred (map not-factor-of-x? '(2 3 5 7 11)))

并在该谓词上使用一个filter。它似乎更清楚地传达了意图（“我想要满足这些 preds 中的每一个的值”），并且与 (partial filter ...) 的组合不同，它避免为每个谓词制作中间序列。
（在 Clojure 1.7+ 中，您还可以通过编写转换器版本 filter 来避免这种情况。

【讨论】：