Typed Clojure
@TypedClojure
Official account for Typed Clojure, an optional type system for Clojure & Clojurescript
You might like
Typed Clojure update: Usability improvements for macros and inline fns patreon.com/posts/58083981
patreon.com
Usability improvements for macros and inline fns | Ambrose Bonnaire-Sergeant
Get more from Ambrose Bonnaire-Sergeant on Patreon
Exciting progress on a @TypedClojure typing rule for #clojure's `for` macro patreon.com/posts/51945257
patreon.com
Macro typing rules milestone: for+destructuring | Ambrose Bonnaire-Sergeant
Get more from Ambrose Bonnaire-Sergeant on Patreon
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
patreon.com
Enhanced destructuring error messages | Ambrose Bonnaire-Sergeant
Get more from Ambrose Bonnaire-Sergeant on Patreon
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-cl…
patreon.com
typed.clj/spec - A metalanguage for specs | Ambrose Bonnaire-Sergeant
Get more from Ambrose Bonnaire-Sergeant on Patreon
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/073c…
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/686f…
Hi @bbrinck thanks for your financial contribution to @typedclojure opencollective.com/typedclojure 🎉😊
opencollective.com
Typed Clojure - Open Collective
An optional type system for Clojure
[ANN] core.typed.checker.jvm 0.7.1 - split into more repos and some analyzer fixes groups.google.com/forum/#!topic/…
[Talk Slides] Typed Clojure: Wishful thinking (Clojure Conj 2018 Unsession) ambrosebs.com/talks/unsessio…
[ANN] core.typed 0.7.0 - split into smaller repos groups.google.com/forum/#!topic/…
[New paper draft] Squash the work! Inferring Recursive Type Annotations from Plain Data for Optional Type Systems frenchy64.github.io/papers/submitt… 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
[ANN] core.typed 0.6.0 - 30% faster analyzer, towards leaner runtime inspired by spec groups.google.com/forum/#!topic/…
New blog post -- The Road to @TypedClojure 1.0: Part 1 frenchy64.github.io/2018/09/20/tow…
core.typed 0.5.1: Improved auto-annotation performance (capable of WIP cljs.compiler types+specs), added auto-annotation test suite via CircleCI Workflows groups.google.com/forum/#!topic/…
core.typed 0.5.0: check-ns breaking change (transitive ns deps not checked), and moved to custom single-pass tools.analyzer fork groups.google.com/forum/#!topic/…
core.typed 0.3.32: lots of clojure.{set,repl...} core annotations annotations, thanks to @kvaravind! groups.google.com/forum/#!topic/… #clojure
core.typed 0.3.31 supports paired arguments by @xudifsd (hash-map 1 'a) :- (Map Int Sym) (hash-map 1) ; type error! groups.google.com/forum/#!topic/…
United States Trends
- 1. Gold Glove 3,436 posts
- 2. #wednesdaymotivation 7,830 posts
- 3. Jay Jones 63.5K posts
- 4. #LoveYourW2025 291K posts
- 5. Young Republicans 119K posts
- 6. Vision Pro 4,279 posts
- 7. Good Wednesday 34.3K posts
- 8. Alan Jackson N/A
- 9. Christen Press 3,318 posts
- 10. Talus Labs 14.4K posts
- 11. Hump Day 17.5K posts
- 12. Moulton 1,073 posts
- 13. Markey 1,687 posts
- 14. Riggs 1,067 posts
- 15. Voting Rights Act 12.6K posts
- 16. Tami 6,006 posts
- 17. #Wednesdayvibe 2,118 posts
- 18. Leto 8,302 posts
- 19. Bessent 67.3K posts
- 20. #GenV 6,190 posts
Something went wrong.
Something went wrong.