Clojurians Log v2
Clojure programming
Channels
Apps
core-typed 2023-01-07
Is there any way to just type check one or more fn?
check-ns will check all fn&var under this ns, but my project hasn’t used typed-clojure before, and all fns don’t have annotation. I want to add type-check gradually
for example:
(def f [x y] (call-other-fn x y))
(t/cfn f) ;; t/cfn is a hypothetical api, t/cfn type-check this fn
Kind of, there are various options for what to do when no annotation is found https://github.com/typedclojure/typedclojure/blob/b383e082a1315bbd103974ffd00d81d7834db5c4/typed/clj.runtime/src/clojure/core/typed.clj#L1316-L1353
❤️ 1