read about the architecture of companies already doing this and do likewise, probably

As in, the result is correct (I think…)

(def v (vec (concat (range 5) [:x])))
=> #'user/v
v
=> [0 1 2 3 4 :x]
(def xf (comp (take 10) (halt-when keyword?) (map inc)))
=> #'user/xf
(sequence xf v)

=> (1 2 3 4 5)

I think they're expecting it to return :x as the other examples do

I see…

Yeah.. the behavior does not match the docstring when sequence is used . I assume there’s a good reason for that that I’m not aware of… 🙂

What doesn't match? to me it looks like a misleading comment.

into and transduce will result in :x, which is exactly what the docstring of halt-when describes. sequence will result in (1 2 3 4 5), which is not what the docstring of halt-when describes. The good reason here is that sequence returns a lazy seq - it cannot possibly produce :x. sequence completely ignores reduced.

the reasoning is not exactly correct above

the transducible context sequence allows you to pass a transducer to transform its internal stepping function

sequence never exposes the eventual/final result of all steps

(e.g. the acc argument to a reducing function)

same for channels, the final result of "reduction" has no meaning

sequence does in fact respect reduced. Otherwise how else could (sequence (take 5) ...) work?

it's the result of reduction that is not exposed

transduce/reduce/into all are about producing a final result

> sequence does in fact respect reduced. Sorry, I meant that it ignores a value passed into reduced, and not something being reduced?.

Thanks for the clarity @U050ECB92

> The difference from quick-check is partly just syntactic, and partly that it defines a test instead of running it. https://clojure.org/guides/test_check_beginner#_defspec

my understanding if you need the seed when running your test, right?

https://clojure.github.io/test.check/clojure.test.check.html#var-quick-check

Yes I want to running the test with the specific seed (because of test fail)

You can do this directly:

(defspec my-test 10
  ...)

(my-test 1 :seed 12345)