This page is not created by, affiliated with, or supported by Slack Technologies, Inc.
2023-01-07
Channels
- # announcements (1)
- # babashka (38)
- # beginners (21)
- # calva (1)
- # cider (6)
- # cljsrn (1)
- # clojure-austin (3)
- # clojure-dev (23)
- # clojure-europe (51)
- # clojurescript (2)
- # clr (100)
- # conjure (3)
- # core-typed (3)
- # data-science (2)
- # fulcro (21)
- # joker (1)
- # joyride (1)
- # lsp (7)
- # malli (4)
- # nbb (5)
- # reagent (1)
- # releases (1)
- # shadow-cljs (5)
- # spacemacs (5)
- # squint (5)
- # xtdb (16)
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 fnKind 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
❤️ 2