上の記事では, ClojureにおいてList版のHylomorphismを中間のデータ構造を生成しない純粋な再帰呼び出しで書きなおすことで高速化しました. しかし, 可読性が最悪で, はっきりいって読めない...
(defn correct-answer? [arrangement]
(reduce andf
(map not-conflict?
(take-while first (iterate rest arrangement)))))
(defn correct-answer?-v2 [arrangement]
(hylol andf true #(not (first %)) not-conflict? rest arrangement))
上の関数が, リストを生成しながら計算するHylomorphism(に相当するもの), 下の関数が, リスト(中間のデータ構造)なしで同じ計算をするものです. (iterateで)リストを生成せずにプログラムが実行される分, 下の関数の方が高速であるという結果になったという話でした.hylolとはどいういった関数かというと, 次のような関数です.
(defn hylol
[f e p g h b]
(if (p b)
e
(f (g b) (hylol2 f e p g h (h b)))))
ピカソの絵画ような抽象的な定義ですが, しかし抽象的であるがために, ある程度普遍性があります(様々なプログラムに出現する可能性が高いという意味です).できれば可読性を維持したまま(つまり, reduceとかmapとかが書かれた状態のまま) Hylomorphismに相当するプログラムを純粋な再帰に変換したいですね. というわけで, 関数でhylolを実装するのではなく, マクロで実装すれば良いのでは? という結論に至りました.
(hylol-expand
(reduce + 0
(take-while (partial not= 0)
(map dec (iterate dec 100)))))
とか(hylol-expand
(->> (iterate dec 100)
(take-while (partial not= 0))
(reduce + 0)))
みたいな書き方なら, 可読性に関しては問題ありません.というわけで上記のような書き方を維持したまま, Hylomorphismを再帰呼び出しに書き戻すマクロを作ってみました. 以下がそのマクロの実装. hylol-formで展開後の構造を定義し, hylol-expandで記法のパターンマッチを行い, それに対応するマクロフォームに展開します. 素朴な実装なので, 特に柔軟性などはありません.
(use '[clojure.core.match :only (match)])
(defn hylol-form
"returns quoted hylol form"
([f-in-reduce init-in-reduce pred use-map-option f-in-map
f-in-iterate init-in-iterate]
`(letfn [(~'f [~'b]
(if (~pred ~'b)
(~f-in-reduce
~(if use-map-option (list f-in-map 'b) 'b)
(~'f (~f-in-iterate ~'b)))
~init-in-reduce))]
(~'f ~init-in-iterate))))
(defmacro hylol-expand
"hylomorphism of lists without generating list"
[hylol-exp]
(match [hylol-exp]
[(['reduce f-in-reduce init-in-reduce ;; no map & natural
(['map f-in-map
(['take-while pred
(['iterate f-in-iterate init-in-iterate] :seq)]
:seq)] :seq)] :seq)]
(hylol-form f-in-reduce init-in-reduce pred true f-in-map
f-in-iterate init-in-iterate)
[(['reduce f-in-reduce init-in-reduce ;; no map & natural
(['take-while pred
(['iterate f-in-iterate init-in-iterate] :seq)]
:seq)] :seq)]
(hylol-form f-in-reduce init-in-reduce pred false nil
f-in-iterate init-in-iterate)
[(['->> (['iterate f-in-iterate init-in-iterate] :seq) ;; map & thread
(['take-while pred] :seq)
(['map f-in-map] :seq)
(['reduce f-in-reduce init-in-reduce] :seq)] :seq)]
(hylol-form f-in-reduce init-in-reduce pred true f-in-map
f-in-iterate init-in-iterate)
[(['->> (['iterate f-in-iterate init-in-iterate] :seq) ;; no map & thread
(['take-while pred] :seq)
(['reduce f-in-reduce init-in-reduce] :seq)] :seq)]
(hylol-form f-in-reduce init-in-reduce pred false nil
f-in-iterate init-in-iterate)
[the-other-cases]
(throw (Exception. (str "malformed hylol : " the-other-cases)))))
上記のようなマクロ定義で, 次のような4通りの記述が可能になります.(println (hylol-expand
(reduce + 0
(map dec
(take-while (partial not= 0)
(iterate dec 100))))))
(println (hylol-expand
(reduce + 0
(take-while (partial not= 0) (iterate dec 100)))))
(println (hylol-expand
(->> (iterate dec 100)
(take-while (partial not= 0))
(map inc)
(reduce + 0))))
(println (hylol-expand
(->> (iterate dec 100)
(take-while (partial not= 0))
(reduce + 0))))
reduce, map, take-while, iterateの位置は固定で, これ以外の書き方はできません. 引数となる｢関数/(繰り返しの)初期値｣のみが変更可能です. 上の二例は, 引数渡しで普通に書けるケース, 下の二例は, スレッディングマクロで書かれたものを再帰に書きなおすものです.簡単なベンチマークテストのため, 前の記事で作成した8queen問題でテストしてみました. 前回書いたのは, 次のような書き方(関数コール)でした.
(defn correct-answer?-v2 [arrangement] (hylol andf true #(not (first %)) not-conflict? rest arrangement))hylolの変換マクロの場合, 同じ意味のプログラムが,
(defn correct-answer?-mbt [arrangement]
(hylol-expand ;; = identify
(->> (iterate rest arrangement)
(take-while first)
(map not-conflict?)
(reduce andf true))))
で書けます. 見た目は, 大分改善されました.以下が簡単なベンチマーク結果. correct-answers-with-hylol-macroがhylolの変換のマクロ実装, correct-answers-with-hylol-functionは, 前に書いた記事のcorrect-answers-v2, correct-answersは, ナイーブな(hylolの変換が入らない)実装でこれも前回書いた記事と同じ.
user> (time (count correct-answers-with-hylol-macro)) "Elapsed time: 590.56785 msecs" 92 user> (time (count correct-answers-with-hylol-function)) "Elapsed time: 594.688247 msecs" 92 user> (time (count correct-answers)) "Elapsed time: 739.69738 msecs" 92これで, 可読性を維持したまま, Hylomorphismのマクロ展開により高速化が可能になりました.