core-typed 2022-04-01 | Slack Archive

Fork me on GitHub

ambrosebs02:04:28

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

Is there a way to annotate java types like, ArrayList<Integer>

ambrosebs04:04:10

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

ambrosebs04:04:03

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

ambrosebs04:04:39

but there's no way for users to add type params to existing classes yet