Open Collective
Open Collective
Loading
Static type checking using Malli schemas
Published on March 25, 2022 by Ambrose Bonnaire-Sergeant


Hi,

I've added some support for type providers in Typed Clojure. This means Typed Clojure can automatically source annotations from more places.

As a proof of concept, I've added the ability for Typed Clojure to automatically convert Malli schemas to Typed Clojure.

Here's a demo project. The short of it is, just write malli schema and static types can be inferred from them as if they were Typed Clojure annotations.

Thanks,
Ambrose