Clojure also takes this approach with core.typed as well https://frenchy64.github.io/2015/06/19/gradual-typing.html https://frenchy64.github.io/2015/06/19/gradu

Clojure also takes this approach with core.typed as well https://frenchy64.github.io/2015/06/19/gradual-typing.html https://frenchy64.github.io/2015/06/19/gradual-typing.html I personally haven't found a place where this is necessary yet, but who knows what might happen in the future. :)