I personally use ClojureScript with type annotations from Plumatic (former Prismatic) Schema and it works really well. Obviously it&#x27;s not the same as an actual typed language, but it gives me a good-enough starting point to leverage some typing information and perform some rudimentary (runtime) type checking. I also feel it&#x27;s really nice as some kind of &quot;inline documentation&quot; to be able to see the type of your parameters (obviously this is a given benefit for statically&#x2F;explicitly typed languages).