Updates

Hi, I've written several Clojure blog posts recently, some of which overlap with Typed Clojure. - how growing macros is different from growing functions....

Hi, Happy to announce Typed Clojure 1.0.32. It has a new type `t/Merge` that can merge HMap's. It's similar to spec's `s/merge` and malli's `:me...

Hi, Typed Clojure 1.0.28 has been released. Highlights:- new syntactic sugar for function arguments: [t/Int :+ :-> Foo] ;; for 1 or more t/Int argumen...

Hi Patrons, I've been progressing on annotating malli, and I've made several fixes and improvements in 1.0.27 based on that experience. One thing that I have to mention first (as it's a great feeling) is that annotating malli with Typed Clo...

Hi, The latest release of the type checker has a bunch of improvements. A lot of them have been driven by attempting to type check malli's implementation in both Clojure and ClojureScript. Here's my work in progress:...

Hi, The spec1-type-providers example project shows how to use spec1 specs as static types. Thanks to Rayat R on Clojurians #core-type...

Hi, I've added some support for type providers in Typed Clojure. This means Typed Clojure can automatically source annotations from more places. As a proof of concept, I've added the ability for Typed Clojure to automatically convert...

Hi, Typed ClojureScript has been resurrected after about 5 years since it last worked. This time, there is a unified AST format...

Hi, Thanks for your continued support! I have been on the lookout for usability problems in Typed Clojure as part of a project I...