https://github.com/typedclojure/typedclojure 1.2.1 has been released. https://github.com/typedclojure/typedclojure/blob/main/CHANGELOG.md#121-20240320 Please join #core-typed if you'd like to learn more. Highlights (including 1.2.0): • support for requiring-resolve ◦ e.g., (requiring-resolve 'fully-qualified/sym) : (t/Var (t/TypeOf fully-qualified/sym)) • improve support for passing keywords as functions to higher-order functions ◦ (map :a ...) now infers accurately, bringing parity to existing support for (map #(:a %) ...) • BREAKING: streamlined type arguments for mutable values ◦ combine input/output (co/contravariant) type arguments into one invariant ◦ e.g., old (Atom in out) , new (Atom t). ◦ see changelog for migration instructions • added handy type abbreviations like t/AnySeqable <=> (t/Seqable t/Any) • added full clj-kondo support for all public macros ◦ hooks distributed with jars • add Java 21 annotation for java.util.SequencedCollection • Introduce t/Instanceand t/Satisfies as common supertypes for Classes/Protocols ◦ e.g., (Comparable Any) <: (t/Instance Comparable) • enhance the return types of instance? and satisfies? to be more accurate ◦ e.g., (instance? Comparable x) implies x : (Instance Comparable), not x : (Comparable Any) • support annotating protocols without having to load them