什么是状态转换器？

Question

在Clojure Core documentation for the 1.7 release - 以下函数

dedupe
disj!
dissoc!
filter
keep
map
random-sample
remove
replace
take-while

在他们的 API 描述中包含以下文本

Returns a transducer when no collection is provided.

还有以下功能

drop
keep-indexed
partition-all
partition-by
take
take-nth

有以下文字。

Returns a *stateful* transducer when no collection is provided.

另外——还有this criticism of this wording。

我的问题是：什么是有状态转换器？即分组函数有什么相似之处。 （这就是people say typing a transducer 会require dependent types? 的原因）

Answer 1

状态可以存储在传感器内部。 对应幻灯片：

https://github.com/matthiasn/talk-transcripts/blob/master/Hickey_Rich/Transducers/00.34.26.jpg https://github.com/matthiasn/talk-transcripts/blob/master/Hickey_Rich/Transducers/00.36.36.jpg

查看丰富的传感器讨论 - https://www.youtube.com/watch?v=6mTbuzafcII