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
Ambrose