-
@chrishouser @timsgardner the idea is that something like this could change the way a var is used at a call site, given sufficient type information
-
@chrishouser @timsgardner usecase: (+ 1 2) should emit intrinsic addition bytecode, not invoke the #'+ var, or even expand to (. clojure.lang.Numbers (add 1 2))
-
@chrishouser @timsgardner and the same for any var that could be represented directly as inlined bytecode given sufficient static type information