clojure reduced 不终止 reduce 函数

Question

在 clojure 文档中它说：

用法：（减少x）

以某种方式包装 x，使 reduce 将以值 x 终止

我正在尝试从具有布尔值和向量值的 reduce 函数返回。

(def bp (reduce (fn [[balanced stack] singlenum]
    (def stack2 (conj stack singlenum))
    (println stack2)
    (if (= 2 singlenum)
      (reduced [false stack2])
    )
    [balanced stack2]
  )
  [true (vector)] [1 2 3 4]
))

bp 评估为[true [1 2 3 4]] ，我期待[false [1 2]] 。 reduce并没有终止reduce函数。 我试图终止具有特定值的reduce函数。

Answer 1

你那里有正确的逻辑。 我刚刚修改了您对if和def的用法。

1. if - 我将[balanced stack2]移到了else部分。 否则reduced将永远不会被检测到。
2. def - fn中的def应替换为let

(def bp (reduce (fn [[balanced stack] singlenum]
                  (let [stack2 (conj stack singlenum)]
                       (println stack2)
                       (if (= 2 singlenum)
                         (reduced [false stack2])
                         [balanced stack2])))
                [true (vector)]
                [1 2 3 4]))

| | | | | stack=> []
| | | | | singlenum=> 1
| | | | (conj stack singlenum)=> [1]
| | | | stack2=> [1]
[1]
| | | (println stack2)=> nil
| | | | | singlenum=> 1
| | | | (= 2 singlenum)=> false
| | | | | balanced=> true
| | | | | stack2=> [1]
| | | (if (= 2 singlenum) (reduced #) [balanced stack2])=> [true [1]]
| | (let [stack2 #] (println stack2) (if # # #))=> [true [1]]
| | | | | stack=> [1]
| | | | | singlenum=> 2
| | | | (conj stack singlenum)=> [1 2]
| | | | stack2=> [1 2]
[1 2]
| | | (println stack2)=> nil
| | | | | singlenum=> 2
| | | | (= 2 singlenum)=> true
| | | | | | stack2=> [1 2]
| | | | (reduced [false stack2])=> #reduced[{:status :ready, :val [false [1 2]]} 0x5fbdbb78]
| | | (if (= 2 singlenum) (reduced #) [balanced stack2])=> #reduced[{:status :ready, :val [false [1 2]]} 0x5fbdbb78]
| | (let [stack2 #] (println stack2) (if # # #))=> #reduced[{:status :ready, :val [false [1 2]]} 0x5fbdbb78]
(reduce (fn # #) [true #] [1 2 3 4])=> [false [1 2]]