Clojurians Log v2
Clojure programming
Channels
Apps
core-typed
zy C 2023-01-07T15:54:31.819449Z
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
zy C 2023-01-07T15:58:57.256989Z
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
2023-01-08T21:12:38.947499Z
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