Last active
October 2, 2018 18:39
-
-
Save roman01la/d6634bda896d0cb700aad3130bc2fbcb to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{:paths ["."]} |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
(ns opt-core) | |
(def known-transforms | |
#{#'clojure.core/map | |
#'clojure.core/mapv | |
#'clojure.core/map-indexed | |
#'clojure.core/mapcat | |
#'clojure.core/filter | |
#'clojure.core/filterv}) | |
(defn x->list [x] | |
(if-not (list? x) | |
(list x) | |
x)) | |
(defn filter-map [f m xs] | |
`(let [m# ~m | |
f# ~f] | |
(loop [[x# & xs#] ~xs | |
ret# []] | |
(let [ret# (if (f# x#) (conj ret# (m# x#)) ret#)] | |
(if-not (empty? xs#) | |
(recur xs# ret#) | |
(seq ret#)))))) | |
(defn map-filter [m f xs] | |
`(let [m# ~m | |
f# ~f] | |
(loop [[x# & xs#] ~xs | |
ret# []] | |
(let [x# (m# x#) | |
ret# (if (f# x#) (conj ret# x#) ret#)] | |
(if-not (empty? xs#) | |
(recur xs# ret#) | |
(seq ret#)))))) | |
(defn fuse-map* [f forms] | |
[`(~f (fn [x#] (clojure.core/->> x# ~@(map second forms))))]) | |
(defn fuse-filter* [f forms] | |
(let [arg (gensym) | |
forms (map second forms) | |
forms (map (fn [x] (list x arg)) forms)] | |
[`(~f (fn [~arg] (and ~@forms)))])) | |
(defn ->comp [forms] | |
(let [f (ffirst forms) | |
f' (resolve f)] | |
(cond | |
(= 1 (count forms)) forms | |
(contains? known-transforms f') | |
(case f | |
map (fuse-map* 'map forms) | |
mapv (fuse-map* 'mapv forms) | |
map-indexed (fuse-map* 'map-indexed forms) | |
mapcat (fuse-map* 'mapcat forms) | |
filter (fuse-filter* 'filter forms) | |
filterv (fuse-filter* 'filterv forms) | |
forms) | |
:else forms))) | |
(defn -update-ret-type [ret type f] | |
(conj (pop ret) (concat [type] (rest (last ret)) [f]))) | |
(defn -group-transforms [forms] | |
(loop [[f & fs] forms | |
ret [[]]] | |
(cond | |
(and (nil? f) (empty? fs)) | |
ret | |
(empty? (last ret)) | |
(recur fs (conj (pop ret) (conj (last ret) (first f) f))) | |
:else | |
(let [f' (first (last ret))] | |
(cond | |
(and (= (first f) 'map) (= f' 'filter)) | |
(recur fs (-update-ret-type ret 'filter-map f)) | |
(and (= (first f) 'filter) (= f' 'map)) | |
(recur fs (-update-ret-type ret 'map-filter f)) | |
:else (recur fs (conj ret [(first f) f]))))))) | |
(defn -fuse-map<->filter [[t & fs]] | |
(let [xs (gensym)] | |
(case t | |
map-filter | |
(let [[m f] fs] | |
`((fn [~xs] ~(map-filter (second m) (second f) xs)))) | |
filter-map | |
(let [[f m] fs] | |
`((fn [~xs] ~(filter-map (second f) (second m) xs)))) | |
(first fs)))) | |
(defn fuse-map<->filter [forms] | |
(let [xs (gensym)] | |
(clojure.core/->> forms | |
-group-transforms | |
(map -fuse-map<->filter)))) | |
(defn fuse-transforms [forms] | |
(clojure.core/->> forms | |
(map x->list) | |
(partition-by first) | |
(mapcat ->comp) | |
fuse-map<->filter)) | |
(defmacro ->> [x & forms] | |
`(clojure.core/->> ~x ~@(fuse-transforms forms))) | |
(comment | |
(->> (range 10) | |
(map inc) | |
(map dec) | |
(filter odd?) | |
(map inc) | |
(filter even?) | |
println) | |
(macroexpand-1 '(->> (range 10) | |
(map inc) | |
(map dec) | |
(filter odd?) | |
(map inc) | |
(filter even?) | |
println))) |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment