Ambrose BS

Having the time of my life type checking Clojure code

[Ambrose BS @ambrosebs]

Functional Collections and Arity Exceptions:
On finding a bug in almost every collection and function in #Clojure.
https://t.co/GQnYHXFUcx

[Ambrose BS @ambrosebs]

Multithreaded clojure.test assertions: how to correctly use #clojure `is` with threads. https://t.co/58736zZ8r6

[Ambrose BS @ambrosebs]

Growing macros: a subtle way that #clojure macro growth is different from function growth https://t.co/rXPZe7oxvF

[Ambrose BS @ambrosebs]

Typed Clojure 1.0.33: Adds type-level map merging

(t/Merge '{:a t/Int} '{:b t/Int}) => '{:a t/Int :b t/Int}

(t/Merge '{:a t/Int} '{:a t/Bool}) => '{:a t/Bool}

https://t.co/shwXqDmYft

[Ambrose BS @ambrosebs]

A Significant clojure.test Enhancement
https://t.co/UMqIF2BA6V

[Ambrose BS @ambrosebs]

Fun ways to break your Clojure macros https://t.co/XIL1lpmnBJ

[Ambrose BS @ambrosebs]

I wrote a brief article on my experience reverse engineering #clojure defprotocol for the purposes of enabling instrumentation of protocols methods. This led to s/defprotocol in Plumatic Schema. https://t.co/Z6nIMXEH99

[Ambrose BS @ambrosebs]

Developing #Clojure patches with Pull Requests
https://t.co/gT4dtJoNkx

[Ambrose BS @ambrosebs]

Typed Clojure 1.0.28: New fn type syntax, check unrolled fns

[t/Int :+ :-> Foo] ;; for 1 or more t/Int arguments
[t/Int :? :-> Foo] ;; for 0 or 1 t/Int arguments
(fn ([a] ...) ([a & bs] ...)) ;; check with [t/Int :* :-> Foo]

https://t.co/lRa7SruW9y

[Ambrose BS @ambrosebs]

@samth Yes, in this case it was introduced because everything in clojure.spec is namespaced, and people make random namespaces that don't exist, but still want to abbrev them.

[Ambrose BS @ambrosebs]

Typed Clojure 1.0.27 - Check your programs without depending on typedclojure! https://t.co/EOYVxfbPaT

[Ambrose BS @ambrosebs]

@dustingetz Yes and no. In practice we'll need some more metadata ops that I haven't implemented yet:
1. ^::t/ignore foo <=> (t/tc-ignore foo)
2. Forcing a type: ^{::t/force SomeType} foo
3. ^{::t/- MyType} foo <=> (t/ann-form foo)
I'll update the zero-deps example when those are done.

[Ambrose BS @ambrosebs]

@samth `:as-alias` means "create an alias but don't load this namespace". So in prod, nothing in Typed Clojure is loaded. When you go to check it in dev, the alias is enough to resolve the type syntax.

[Ambrose BS @ambrosebs]

Extensive improvements in @TypedClojure 1.0.26, including support for `reify` (clj), `satisfies?` (clj, `defprotocol` (cljs)
https://t.co/UgyZDbhG0E

[Ambrose BS @ambrosebs]

#Clojure Static type checking using #clojurespec1 specs https://t.co/Fok4eJrgV3

[Ambrose BS @ambrosebs]

#Clojure Static type checking using #Malli schemas via @TypedClojure https://t.co/m5PT2nrYBp

[Ambrose BS @ambrosebs]

How to use dependabot with Leiningen (only slightly janky) https://t.co/Dok7wAF1tH
#Clojure

[Ambrose BS @ambrosebs]

New Typed #Clojurescript release https://t.co/kshKKjcY9d
#Clojure

[Ambrose BS @ambrosebs]

My attempt at explaining a clever #clojure macrovich hack by @cgrand https://t.co/eRINvuMG4N

[Ambrose BS @ambrosebs]

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