@TypedClojure

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

typedclojure.org
Joined October 2013
  • Tweets154
  • Following1
  • Followers1.3K
Typed Clojure retweeted
Ambrose BS@ambrosebs31 Oct 2021
Typed Clojure update: Usability improvements for macros and inline fns patreon.com/posts/58083981

Usability improvements for macros and inline fns | Ambrose Bonnaire-Sergeant

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

patreon.com
1
8
Typed Clojure retweeted
Ambrose BS@ambrosebs1 Jun 2021
Exciting progress on a @TypedClojure typing rule for #clojure's `for` macro patreon.com/posts/51945257

Macro typing rules milestone: for+destructuring | Ambrose Bonnaire-Sergeant

Hi, This week I made some exciting progress on a long standing challenge: a typing rule for `clojure.core/for`.  If you've used core.typed,

patreon.com
2
7
Typed Clojure retweeted
Ambrose BS@ambrosebs24 Jul 2021
New @typedclojure typing rule for clojure.core/let to enable more helpful error messages patreon.com/posts/54071427

'let' typing rule | Ambrose Bonnaire-Sergeant

Hi Patrons, I've merged a typing rule for the clojure.core/let macro. In terms of its construction, it's a somewhat like the 'for' rule from

patreon.com
2
7
Typed Clojure retweeted
Ambrose BS@ambrosebs2 Aug 2021
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

Enhanced destructuring error messages | Ambrose Bonnaire-Sergeant

Hi Patrons, Typed Clojure has long struggled with incomprehensible error messages--today I merged an  enhancement which should serve as a te

patreon.com
2
3
Typed Clojure retweeted
Ambrose BS@ambrosebs15 Jun 2020
Typed Clojure update June 15th 2020: Performance improvements (25%), async type rules patreon.com/posts/38246734

Performance improvements (25%), async type rules | Ambrose Bonnaire-Sergeant

Hi Patrons, I've been having a lot of fun doing a variety of things. Reader I built the reader I mentioned last post, but I haven't found a

patreon.com
3
19
Typed Clojure retweeted
Ambrose BS@ambrosebs31 Mar 2020
Announcing typed.clj/spec, a metalanguage for Clojure spec patreon.com/posts/typed-clj-…

typed.clj/spec - A metalanguage for specs | Ambrose Bonnaire-Sergeant

Hi Patrons! Really excited to announce a new Typed Clojure library: typed.clj/spec! It adds polymorphism and type-level functions to Clojure

patreon.com
7
20
Typed Clojure retweeted
Ambrose BS@ambrosebs3 Apr 2020
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…

typed.clj/spec Clojurists Together Application

typed.clj/spec Clojurists Together Application. GitHub Gist: instantly share code, notes, and snippets.

gist.github.com
2
10
Typed Clojure retweeted
Ambrose BS@ambrosebs16 Jul 2019
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…

My application for https://www.clojuriststogether.org/open-source/

My application for https://www.clojuriststogether.org/open-source/ - app.md

gist.github.com
6
31
Hi @bbrinck thanks for your financial contribution to @typedclojure opencollective.com/typedcloj… 🎉😊

Typed Clojure - Open Collective

An optional type system for Clojure

opencollective.com
1
4
[ANN] core.typed.checker.jvm 0.7.1 - split into more repos and some analyzer fixes groups.google.com/forum/#!to…
1
3
Typed Clojure retweeted
Ambrose BS@ambrosebs30 Nov 2018
[Talk Slides] Typed Clojure: Wishful thinking (Clojure Conj 2018 Unsession) ambrosebs.com/talks/unsessio…
6
9
[ANN] core.typed 0.7.0 - split into smaller repos groups.google.com/forum/#!to…
1
1
Typed Clojure retweeted
Ambrose BS@ambrosebs17 Nov 2018
[New paper draft] Squash the work! Inferring Recursive Type Annotations from Plain Data for Optional Type Systems frenchy64.github.io/papers/s… with @samth
5
16
Typed Clojure retweeted
Ambrose BS@ambrosebs9 Nov 2018
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

Get more from Ambrose Bonnaire-Sergeant on Patreon

Get more from Ambrose Bonnaire-Sergeant on Patreon. Join for free or become a member for just $1/month. Hi! My name is Ambrose Bonnaire-Sergeant and I…

patreon.com
9
12
[ANN] core.typed 0.6.0 - 30% faster analyzer, towards leaner runtime inspired by spec groups.google.com/forum/#!to…
3
5
Typed Clojure retweeted
Ambrose BS@ambrosebs20 Sep 2018
New blog post -- The Road to @TypedClojure 1.0: Part 1 frenchy64.github.io/2018/09/…
9
14
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/#!to…
2
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/#!to…
2
core.typed 0.3.32: lots of clojure.{set,repl...} core annotations annotations, thanks to @kvaravind! groups.google.com/forum/#!to… #clojure
5
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/#!to…
3
1
4
Load more