Typed Clojure

Official account for Typed Clojure, an optional type system for Clojure & Clojurescript

[Ambrose BS @ambrosebs]

Typed Clojure update: Usability improvements for macros and inline fns https://t.co/Hd0FxyIx5N

[Ambrose BS @ambrosebs]

Exciting progress on a @TypedClojure typing rule for #clojure's `for` macro https://t.co/hEaWITlxAY

[Ambrose BS @ambrosebs]

New @typedclojure typing rule for clojure.core/let to enable more helpful error messages https://t.co/HvCPrXF59b

[Ambrose BS @ambrosebs]

New @typedclojure error messages--destructuring is now a first-class concept!

Old: Polymorphic static method clojure.lang.RT/nth could not be applied to arguments
New: The type `(t/HSet #{:foo})` cannot be destructured via syntax `[a]`

https://t.co/NrbYf4VKrF

[Ambrose BS @ambrosebs]

Typed Clojure update June 15th 2020: Performance improvements (25%), async type rules https://t.co/hiQ4jgfsQS

[Ambrose BS @ambrosebs]

Announcing typed.clj/spec, a metalanguage for Clojure spec https://t.co/6HvMzapFBT

[Ambrose BS @ambrosebs]

I just submitted a new @cljtogether application for typed.clj/spec. It outlines a couple of ideas I have for future work. https://t.co/aUAoZU8WCZ

[Ambrose BS @ambrosebs]

I just applied for @cljtogether funding to improve type inference in @TypedClojure using symbolic execution. Applications due 17 July!
My app: https://t.co/cdCFov6jO6

[Typed Clojure @TypedClojure]

Hi @bbrinck thanks for your financial contribution to @typedclojure https://t.co/ICAlFpfQPy 🎉😊

[Typed Clojure @TypedClojure]

[ANN] core.typed.checker.jvm 0.7.1 - split into more repos and some analyzer fixes https://t.co/yzBbRO0qXi

[Ambrose BS @ambrosebs]

[Talk Slides] Typed Clojure: Wishful thinking (Clojure Conj 2018 Unsession) https://t.co/I41tDBFIjb

[Typed Clojure @TypedClojure]

[ANN] core.typed 0.7.0 - split into smaller repos https://t.co/kQYSB8n6d3

[Ambrose BS @ambrosebs]

[New paper draft]
Squash the work! Inferring Recursive Type Annotations from Plain Data for Optional Type Systems
https://t.co/n5YPOeIrOL with @samth

[Ambrose BS @ambrosebs]

If you're a superfan, you can now support my work on @TypedClojure on Patreon. I plan on enjoying myself and rediscovering why I started in the first place--no more big crowdfunds and ridiculously high expectations. Sound fun? Pull up a seat and order a fn https://t.co/7zA32P51D5

[Typed Clojure @TypedClojure]

[ANN] core.typed 0.6.0 - 30% faster analyzer, towards leaner runtime inspired by spec https://t.co/35Rm8Aks6T

[Ambrose BS @ambrosebs]

New blog post -- The Road to @TypedClojure 1.0: Part 1
https://t.co/P3VLEI4W60

[Typed Clojure @TypedClojure]

core.typed 0.5.1: Improved auto-annotation performance (capable of WIP cljs.compiler types+specs), added auto-annotation test suite via CircleCI Workflows https://t.co/IyBlcOVjy2

[Typed Clojure @TypedClojure]

core.typed 0.5.0: check-ns breaking change (transitive ns deps not checked), and moved to custom single-pass tools.analyzer fork https://t.co/FRFVYb3unh

[Typed Clojure @TypedClojure]

core.typed 0.3.32: lots of clojure.{set,repl...} core annotations annotations, thanks to @kvaravind! https://t.co/MiGViNyqnv #clojure

[Typed Clojure @TypedClojure]

core.typed 0.3.31 supports paired arguments by @xudifsd

(hash-map 1 'a) :- (Map Int Sym)
(hash-map 1) ; type error!
https://t.co/Ly2jIhmIpD