This page is not created by, affiliated with, or supported by Slack Technologies, Inc.
2022-04-01
Channels
- # announcements (54)
- # asami (3)
- # aws (5)
- # babashka (8)
- # beginners (64)
- # biff (27)
- # calva (11)
- # cider (41)
- # clj-otel (7)
- # cljdoc (72)
- # clojars (20)
- # clojure (159)
- # clojure-austin (3)
- # clojure-europe (143)
- # clojure-italy (1)
- # clojure-nl (5)
- # clojure-norway (3)
- # clojure-uk (3)
- # clojurescript (19)
- # community-development (1)
- # core-typed (5)
- # cursive (3)
- # datalevin (1)
- # datomic (8)
- # emacs (13)
- # fulcro (4)
- # google-cloud (4)
- # honeysql (25)
- # java (1)
- # jobs (1)
- # lambdaisland (3)
- # lsp (121)
- # off-topic (52)
- # other-languages (1)
- # re-frame (3)
- # releases (2)
- # remote-jobs (1)
- # shadow-cljs (36)
- # sql (4)
- # xtdb (36)
Attempting to type check malli.core in both clj and cljs. Extra points if I can leave zero trace of typed clojure in malli's jar https://github.com/frenchy64/malli/pull/1/files
🎉 1
I don't think that's exposed to users. There's a bunch of internal classes annotated in the base environment https://github.com/typedclojure/typedclojure/blob/main/typed/clj.checker/src/typed/clj/checker/base_env_clj_rclass.clj
related: clojure.core.typed/{ann-interface,override-method,override-constructor,nilable-param,non-nil-return,override-method}
https://github.com/typedclojure/typedclojure/blob/main/typed/clj.runtime/src/clojure/core/typed.clj#L1135