Inline locals that refer to constants

[borkdude]

E.g.:

(let [x 1] (+ x 1 2))

can be simplified to (+ 1 1 2)

We will have to benchmark if checking constants at analysis time outweighs the cost of not doing this and always looking up in the local environment for typical programs.

[borkdude]

A quick analysis shows that less than 1% of let binding vectors have some constant. It may not be worth the trouble.

;; clj -Sdeps "{:deps {borkdude/grasp {:git/url \"https://github.com/borkdude/grasp\" :sha \"6315cea8c0b6dafc7b1eef9ccd03d6d5590d2045\"}}}"

(require '[clojure.spec.alpha :as s]
         '[grasp.api :as g])

(defn constant? [x]
  (or (number? x) (string? x) (keyword? x) (boolean? x)))

(def lets (g/grasp "." (g/seq 'let
                              vector?
                              (s/* any?))))

(def with-constants (count (filter #(some constant? %)
                                   (map second lets))))

(def without-constants (count (filter #(not (some constant? %))
                                      (map second lets))))

(prn with-constants without-constants)

769 123615