Type Knobs for Clojure

I think there should be, sort of, a volume knob for types. Where the programmer can choose the level. We might have a much lower default than Haskell. But we should be able to turn it up.

– Andrew McVeigh, at Clojure eXchange 2017


Glorious heresy.

In the talk, he demos a modest type inferencing library providing IDE support in Emacs.