Clojure文档：理解这个Reduce函数示例

通读时，我被

reduce

函数的一个示例弄糊涂了。我理解

reduce

的作用，但这里面有很多东西，我不确定它们是如何协同工作的

(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

接受一个函数，在本例中是一个匿名函数。该函数接受两个参数，一个集合和一个数字。然后我们有一个条件语句来检查数字0是否出现在集合中

（映射（部分模数）素数）

让我困惑。

mod

是否接受两个参数并返回第一个参数除以第二个参数的余数

如果这个条件返回true，它将返回素数集合。如果不是，则将数字添加到素数集合中。对吗

---

最后一行是从3开始的1000个数字的集合。有人能遍历这个函数吗？

您可能已经知道了这一点，但首先要注意的是以下属性：如果一个数字不可被任何小于它的素数分割，那么它就是素数

所以匿名函数从一个先前素数的向量开始，然后检查这个数是否可以被任何先前素数整除。如果它可以被任何先前的素数整除，它将只传递先前素数的向量，否则它将把当前数加到素数的向量上，然后返回新的向量

（部分模块号）

在本例中等同于

（fn[x]（模块号x））

要逐步了解几个案例：

;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) 

->

（（映射（部分模数）素数）=[1]

->将返回

[23]

(prime-checker [2 3] 4) 

(prime-checker [2 3] 5)

->

（（映射（部分模数）素数）=[01]

->

some zero？

在此处找到一个零值，因此函数将返回

[2 3]

(prime-checker [2 3] 4) 

(prime-checker [2 3] 5)

->

（（映射（部分模数）素数）=[12]

->将返回

[2 3 5]

---

希望您能从中看到reduce如何使用此函数返回素数列表。

（部分mod x）返回一个只接受一个参数y并返回（mod x y）的函数。这是一种创建现有函数版本的方法，其中一个或多个参数是预先设置的，以便在对集合进行映射时保持不变。当您说

（部分mod number）

相当于

（fn[x]（mod number x））

，在前者中，

x

从何而来？

x

是素数集合（最初是

[2]

）？因此它将

数字

除以集合中的每个元素

素数

，对吗？第一次将3除以2，得到1的余数，因此返回值是

[1]

。此集合中没有零，因此

if

语句的计算结果为false，我们转到else子句，它将数字

3

添加到集合

[2]

。是吗？函数中的x是素数向量中的一个值。Map将函数应用于向量中的每个元素，因此将x视为素数向量中的一个数字。当您看到部分时，请将其视为在求值之前要向列表中添加项，而部分则将列表的第一部分包装到函数中。因此(（部分模块号）x）将最终计算为（模块号x）。您的第二条评论是正确的。