게으른 "지도 축소"기능을 어떻게 구현합니까?

Question

"지도 축소"기능을 구현하려고합니다. 즉, 내용 등

(def c [[0 0 0 0] [1 0 0 0] [0 1 0 0] [0 0 1 0] [0 0 0 1]]) 

(defn- sum-vector [v1 v2] 
    (map + v1 v2)) 

(defn reduce-map [f coll & acc] 
    (if (< (count coll) 2) 
    (if (empty? acc) coll acc) 
    (let [head (apply f (take 2 coll)) 
      tail (drop 2 coll)] 
     (recur f (conj tail head) (conj acc head))))) 

그 결과와 coll 세 번째 항목 f을 적용한 결과 다음 coll의 제 2 개 항목 f을 적용한 결과로 이루어진 시퀀스를 반환해야한다 예를 들어, 이와 같은 기능이 호출 :

(reduce-map sum-vector c) 

반환해야

[[1 0 0 0] [1 1 0 0] [1 1 1 0] [1 1 1 1]] 

을 (실제로는 그것을 아마도 더 나은 모방 map에,뿐만 아니라 수정되지 않은 첫 번째 항목을 반환해야합니다,하지만 난 나중에 고칠 수)

이

오른쪽, 지금이 그것을 반환 것입니다 :.

((1 1 1 1) (1 1 1 0) (1 1 0 0) (1 0 0 0)) 

를 I "푸시 할 방법 "(sey) 끝에서?

내가 recur에 대한 reduce-map을 대체 할 경우,이 그것을 반환 것입니다 :

(((1 1 1 1) ((1 1 1 0) ((1 1 0 0) ((1 0 0 0)))))) 

위의 내 코드에서 recur 진정한 재귀의 차이점은 무엇입니까?

그리고 에는 reduce-map을 구현하는 기본 제공 방식, 더 좋거나 관용적 인 방식이 있습니까?

마지막으로 출력 시퀀스를 게으른 것으로하고 싶습니다. 방금 전액을 lazy-seq에 포장합니까?

Answer 1

이 메시지는 reductions과 약간 비슷합니다.

seq의 끝에서 "pushing"과 관련 : 일반적으로 seqs에는 "end"가 없습니다 (cf. (iterate inc 0).

목록 끝에 "푸시"하는 것과 관련하여 목록은이를 위해 설계되지 않았습니다. 벡터를 사용하십시오. 귀하의 누적기를 []으로 시드하십시오 (nil 제외).

마찬가지로 lazy-seq : recur 대신 "true"재귀를 사용하십시오. 여기에 한 예 :

(defn integer-seq 
    [start] 
    (lazy-seq 
    (cons start (integer-seq (inc start)))))