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
Heresy.
Glorious heresy.
In the talk, he demos a modest type inferencing library providing IDE support in Emacs.
https://skillsmatter.com/skillscasts/10835-a-dynamic-statically-typed-contradiction#video