1.0.30 (2022/05/04)

• new type syntax
  • ^:fake-quote 'TYPE <=> TYPE
• new metadata annotations (in order of execution if combined)
  • ^{::t/- TYPE} EXP <=> (t/ann-form EXP TYPE)
  • ^{::t/inst [...]} EXP <=> (t/inst EXP ...)
  • ^{::t/unsafe-cast TYPE} EXP checks EXP with no expected type and unsafely infers type TYPE
  • ^::t/ignore EXP <=> (t/tc-ignore EXP)
  • ^::t/dbg EXP prints type info on EXP
• add typed.clojure/doc-clj{s} for documentation snippets and type lookup

1.0.29 (2022/05/01)

• fix clojure.core.typed/envs

1.0.28

• better support malli refs named as strings that contain non-alphanumerics
• add zero-deps example project for shipping type checked libraries without a Typed Clojure dependency.
• new syntactic sugar for rest arg
  • [Foo Bar :+ :-> Baz] <=> [Foo Bar Bar :* :-> Baz]
• new syntactic sugar for optional final arg
  • [Foo Bar :? :-> Baz] <=> (IFn [Foo :-> Baz] [Foo Bar :-> Baz])
• fix too many args required in {min,max}-key
• support zero args in disj
• fix annotation for clojure.test/run-all-tests
• if first arg to merge is a map, rest can be nilable and still returns a map
• alternative :.. keyword syntax for dotted rest argument (along with ... and :...)
• fix t/All parsing: allow combining :.. with keyword args: (t/All [a :.. :named [b])
• Breaking: change (t/Assoc c ... c) type syntax to (t/Assoc c :.. c)
• improve type parsing error messages when no type provided before :{?,*,+}
• support checking unrolled rest arguments as :* function types
  • eg.,

(-> (fn ([] 0)
        ([a] (+ a))
        ([a b & more] (apply + a b more)))
    (ann-form [t/Int :* :-> t/Int]))

• refine rest type if known to be non-empty
  • eg., (ann-form (fn [& rst] (first rst)) [t/Int :+ :-> t/Int])
• ignore filter and object when checking right-hand-side of set!
• fix clojure.core.typed/envs
  • revealed (fixed) problems in annotations for sort-by, method-sig, partition

1.0.27

• support metadata annotations on clojure.core/fn
  • (t/fn [a :- t/Int]) <=> (cc/fn [^{:typed.clojure/- t/Int} a])
  • (t/fn [] :- t/Bool) <=> (cc/fn ^{:typed.clojure/- t/Bool} [])
  • (t/ann-form (t/fn [a] a) (t/All [x] [x :-> x])) <=> (cc/fn ^{:typed.clojure/- (t/All [x] [x :-> x])} _id [a] a)
• propagate expected type to fn arguments of invocations
  • can now check: (fn [p :- [[t/Int :-> t/Int] :-> t/Int]] (p #(inc %)))
• Breaking: type alias typed.clojure/Associative now takes 2 type arguments (before, 3)
  • similar for cljs.core/IAssociative, clojure.lang.Associative
• Breaking: remove unused type arg from cc/reduce-kv annotation
• fix bad annotations for seqable?, indexed?, find
• use more precise line/column information in type parsing errors
• Breaking: rename t/MapEntry to t/AMapEntry for fn outputs, change t/MapEntry for fn inputs
• fix malli->type ref translation
  • Reported by paola pereira in Clojurians Slack #core-typed. Thanks!

1.0.26

• add typed.clojure/cns
• change typed.clojure/check-ns-cljs from macro to function
• separate clojure.core and cljs.core type rules
• add minimal-clj example project to test typed.clj.checker in isolation without cljs deps
• add clojure.core/defprotocol rule for clj{s}
• add cljs.core/implements? rule for cljs
• fix filter checking for composite predicates by checking filter after inferring body filter
  • enables eg., (defn sym-or-kw? [a] (or (symbol? a) (keyword? a)))
• Breaking: remove :flow filters
  • Andrew M Kent (@pnwamk) figured out this was redundant with :filters around 2015.
• add typed.clojure.jvm for jvm annotations
  • add new op override-class -- see typed.ann.clojure.jvm for base environment using
• support clojure.core/reify in Clojure checker
• support clojure.core/satisfies? in Clojure checker
• support :extend-via-metadata (and other kw options) in defprotocol wrapper

1.0.25

• add typed.clojure/check-ns
• typed.clojure/check-ns{,-clj,cljs} no longer require the namespaces being checked to depend on a Typed Clojure namespace

1.0.24

• support more malli -> type conversions

1.0.23

• make malli schema provider extensible
  • see typed.malli.schema-to-type/register-malli->type-extension
• add spec1 type providers

1.0.22

• add clojure.java.io annotations
• fix {pos,neg,nat}-int? annotations
• rename typed.clj.malli submodule to typed.malli
• add support for type providers
• add malli var type providers (demo)
• Breaking: make t/def and t/defn never infer their types, and use t/ann to register global annotation
  • Rationale: don't allow a namespace's type checking to be dependent on another namespace checking

1.0.21

• don't check the typed.clojure namespace

1.0.20

• add lib.spec.alpha lib for spec.alpha annotations
  • includes no-op typing rules for s/def and s/fdef
• remove outdated hints on type errors
• add :unanalyzed to typed.cljs.analyzer
• add typed.clojure namespace for cross-platform use
• Breaking: vars representing special types from clojure.core.typed (eg., Any, HMap) have been removed
  • set system property clojure.core.typed.special-vars=true to restore
  • rationale: :refering these vars is not cross-platform. type resolution can work without these vars
• Breaking: defalias no longer interns vars
  • set system property clojure.core.typed.intern-defaliases=true to restore
  • rationale: poor cross-platform story. follow spec's lead with separate registry.
• Breaking: t/Seqable is now nilable
  • rationale: in practice, t/Seqable is always made nilable in annotations. It's also usually in input position, so there's little reason not to broaden.
    • t/Seqable predates clojure.core/seqable?, so now we can annotate as (t/Pred (t/Seqable t/Any))
• move shared base env to .cljc file

1.0.19

• fix bad clojure.core/boolean? annotation

1.0.18

• improve destructuring error messages for:
  • clojure.core/fn
  • clojure.core.typed/fn
• support :when/:while/:let in clojure.core/for typing rule
• create type rule for clojure.core/doseq with destructuring and support for all options
• create type rule for clojure.core/defn with improved destructuring error messages
• create type rule for clojure.core/defmethod with improved destructuring error messages
• check inlines before expansion to improve error messages
  • eg., now clojure.core/inc is appears in error messages instead of clojure.lang.RT/inc
• add typed.clj.malli project

1.0.17

• move ext.c.c.t typing rules from runtime jar to checker
• add spec{1,2} shim to prepare for spec1 support in typed.clj.spec
• add clojure.core/for typing rule with destructuring
• remove dynamic vars from uniquify analyzer pass
• add clojure.core/let typing rule
• add custom error message for vector destructuring
• add in-development typed.clj.generators namespace to typed.clj.checker