シーケンスはトランスデューサと何をするのですか？

Question

sequenceに関する2つの関連する質問：

(def xf (comp (filter odd?) (map inc)))、

1. (into [] xf (range 10))または(into() xf (range 10))、と(sequence xf (range 10))の関係は何ですか？ intoの2番目の引数として使用できるレイジーシーケンスの構文がないので、この目的のために別の関数sequenceが必要ですか？ （私はsequenceは1種類または別のシーケンスにコレクションを強制する、別の、非トランスデューサの使用を持っていることを知っている。）

2. Clojure transducers pageは

、上記のような sequenceの用途について、述べています

得られた配列要素を段階的に計算します。これらのシーケンスは、必要に応じて入力を徐々に消費し、中間操作を完全に実現します。この動作は、遅延シーケンスの同等の操作とは異なります。 sequenceは怠惰なシーケンスを返しません、まだトランスデューサが供給されるとsequenceのdocstringは、」言ったら、（蔵中のアイテムに変換Sのアプリケーションの怠惰なシーケンスを返すように聞こえる私に

）、....」、実際には(class (sequence xf (range 10)))はclojure.lang.LazySeqを返します。私はClojureトランスデューサのページから引用した最後の文を理解していないと思います。

Answer 1

(sequence xform from)はからのXFormsとが渡されるためにレイジー配列（RT.chunkIteratorSeq） TransformerIterator 上に作成します。次の値が要求されると、からの次の値でxform（変換の構成）が呼び出されます。

この動作は、遅延シーケンスの同等の操作とは異なります。

レイジーシーケンスでの同等の操作は何でしょうか？あなたのxfを例として、 をfilter odd?から(range 10)に適用し、中間レイジーシーケンスを生成し、map incを中間レイジーシーケンスに適用して、結果として最終レイジーシーケンスを生成する。

からがIReduceInitを実装していないいくつかのコレクションであるとき、私は(into to xform from)が(into to (sequence xform from))に似ていると言うでしょう。に

は内部(reduce (xform conj) to from)としておよび終了clojure.coreに同じ し(transduce xform conj to from)を使用します。プロトコル/ collの-減らすが呼び出されます。

(into [] (sequence xf (range 10))) 
;[2 4 6 8 10] 
(into [] xf (range 10)) 
;[2 4 6 8 10] 
(transduce xf conj [] (range 10)) 
;[2 4 6 8 10] 
(reduce (xf conj) [] (range 10)) 
;[2 4 6 8 10] 

私は少しにあなたのトランスデューサを修正：それは、各変換ステップに文字を出力するよう

(defn hof-pr 
    "Prints char c on each invocation of function f within higher order function" 
([hof f c] 
    (hof (fn [e] (print c) (f e)))) 
([hof f c coll] 
    (hof (fn [e] (print c) (f e)) coll))) 
(def map-inc-pr (partial hof-pr map inc \m)) 
(def filter-odd-pr (partial hof-pr filter odd? \f)) 
(def xf (comp (filter-odd-pr) (map-inc-pr))) 

。

次のようにREPLでS1作成：

(def s1 (into [] xf (range 10))) 
ffmffmffmffmffm 

S1は熱心（マッピングのフィルタリングおよびmについてfを印刷）が評価されます。 S1が再び要求されたん評価：

s1 
[2 4 6 8 10] 

のはS2を作成してみましょうしない：

は

(def s2 (sequence xf (range 10))) 
ffm 

のみ最初の項目S2が評価されるで。要求されたときに次の項目が評価されます。

s2 
ffmffmffmffm(2 4 6 8 10) 

また、S3、古いやり方を作成：S3が定義されているときに、何の評価を見ることができたよう

(def s3 (map-inc-pr (filter-odd-pr (range 10)))) 
s3 
ffffffffffmmmmm(2 4 6 8 10) 

を。 s3が要求された場合、10個以上の要素のフィルタリングが適用され、残りの5個の要素に対するマッピングが適用され、最終シーケンスが生成されます。