Typed Clojure

Typed Clojure update: Usability improvements for macros and inline fns patreon.com/posts/58083981

Exciting progress on a @TypedClojure typing rule for #clojure's `for` macro patreon.com/posts/51945257

New @typedclojure typing rule for clojure.core/let to enable more helpful error messages patreon.com/posts/54071427

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]` patreon.com/posts/54411134

Typed Clojure update June 15th 2020: Performance improvements (25%), async type rules patreon.com/posts/38246734

Announcing typed.clj/spec, a metalanguage for Clojure spec patreon.com/posts/typed-clj-…

I just submitted a new @cljtogether application for typed.clj/spec. It outlines a couple of ideas I have for future work. gist.github.com/frenchy64/07…

I just applied for @cljtogether funding to improve type inference in @TypedClojure using symbolic execution. Applications due 17 July! My app: gist.github.com/frenchy64/68…

[Talk Slides] Typed Clojure: Wishful thinking (Clojure Conj 2018 Unsession) ambrosebs.com/talks/unsessio…

[New paper draft] Squash the work! Inferring Recursive Type Annotations from Plain Data for Optional Type Systems frenchy64.github.io/papers/s… with @samth

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 patreon.com/ambrosebs

New blog post -- The Road to @TypedClojure 1.0: Part 1 frenchy64.github.io/2018/09/…

Interested in participating as a student or mentor for @ClojureGSoC? Let's get in touch. Some @TypedClojure ideas dev.clojure.org/display/comm…

Happy birthday @TypedClojure, you're 3. You've been a rollercoaster so far <3 github.com/clojure/core.type…