Clojurians Log v2
Clojure programming
Channels
Apps
core-typed 2022-04-01
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
emccue 2022-04-01T03:13:29.871169Z
Is there a way to annotate java types like, ArrayList<Integer>
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
but there's no way for users to add type params to existing classes yet