Clojure Docs：了解reduce函数的此示例


Clojure Docs: Understanding This Example of the Reduce Function

通过阅读Clojure文档，我对reduce函数的一个示例感到困惑。 我知道reduce的作用，但是在此示例中有很多事情要做，我不确定它们如何协同工作。

1
2
3
4
5
6
7
8
9
(reduce
  (fn [primes number]
    (if (some zero? (map (partial mod number) primes))
      primes
      (conj primes number)))
  [2]
  (take 1000 (iterate inc 3)))

=> [2 3 5 7 11 13 17 19 23 29 31 37 41 43 47 53 59 61 67 71 73 79 83 89 97 101 103 107 109 113 127 131 137 139 149 151 157 163 167 173 179 181 191 193 197 199 211 223 227 229 233 239 241 251 257 263 269 271 277 281 283 293 307 311 313 317 331 337 347 349 353 359 367 373 379 383 389 397 401 409 419 421 431 433 439 443 449 457 461 463 467 479 487 491 499 503 509 521 523 541 547 557 563 569 571 577 587 593 599 601 607 613 617 619 631 641 643 647 653 659 661 673 677 683 691 701 709 719 727 733 739 743 751 757 761 769 773 787 797 809 811 821 823 827 829 839 853 857 859 863 877 881 883 887 907 911 919 929 937 941 947 953 967 971 977 983 991 997]

据我了解，reduce具有一个函数，在这种情况下为匿名函数。 该函数有两个参数，一个集合和一个数字。 然后，我们有一个条件语句，它检查数字零是否出现在集合中。

(map (partial mod number) primes)使我感到困惑。 mod是否不接受两个参数并返回将第一个除以第二个的余数？

看来，如果此条件返回true，则返回素数的集合。 如果不是，请将数字添加到素数集合中。 那是对的吗？

最后一行是从3开始的1,000个数字的集合。有人可以使用该功能吗？

相关讨论

您可能已经知道这一点，但首先要注意的是以下属性：一个数字是质数，如果它被小于它的任何质数都可整除。

因此，匿名函数以先前质数的向量开头，然后检查数字是否可被任何先前质数整除。 如果它可以被任何先前的素数整除，它将仅传递先前的素数的向量，否则它将当前数加到素数的向量上，然后返回新的向量。

在这种情况下，(partial mod number)等效于(fn [x] (mod number x))。

要解决一些情况：

1
2
3
4
5
6
7
8
;Give a name to the anonymous function
(defn prime-checker [primes number]
  (if (some zero? (map (partial mod number) primes))
      primes
      (conj primes number)))

;This is how reduce will call the anonymous function
(prime-checker [2] 3)

-> ((map (partial mod number) primes) = [1]

->将返回[2 3]

1
(prime-checker [2 3] 4)

-> ((map (partial mod number) primes) = [0 1]

-> some zero?在这里找到零值，因此函数将返回[2 3]

1
(prime-checker [2 3] 5)

-> ((map (partial mod number) primes) = [1 2]

->将返回[2 3 5]

希望您可以从中看到如何使用此函数来减少素数列表。

相关讨论