Clojurians Log v2
Clojure programming
Channels
Apps
core-typed
2023-08-13T04:44:03.097769Z
Merging a big enhancement in local type inference. In many cases, you won't need to annotate local functions any more, e.g., (map #(+ %1 %2) [1] [2]) .
Before: (map (t/fn [x :- t/Int, y :- t/Int] (+ x y)) [1] [2])
🎉 9
2023-08-13T05:28:59.695819Z
I think with a few more tweaks I can extend this to transducers like (into [] (map #(inc %)) [1 2]).
🎉 4