Clojurescript HAS types. It has pretty awesome type system - Clojure.Spec. You can use Spec to enforce all sorts of things in your functions. You can use them for data validation, for data generation, for human-readable error messages, etc. Specs can be shared between server and front-end.