truss VS schema

When type checking is needed, I find the Truss library* does the trick quite well.

As for the syntax, there is very little, which can make it a harder lift but once you have the hang of it you won't deal with the issues identified in the parent comment.

* https://github.com/taoensso/truss

I use truss extensively throughout my code to prevent those types of errors.

I haven't tried it myself. I generally just use truss for runtime constraint checking. I use a modified version that integrates scope-capture. And malli validation for more complex cases, but I try to limit that. For me it is better to validate individual attributes as needed, vs validating an entire "type"/collection of attributes. So each function only cares about the attributes that it needs, and validates only as needed.

Use assertions for all data requirements inside functions - I use a modified version of https://github.com/ptaoussanis/truss to ensure that I never get NullReference exceptions, and this also helps make functions more self-documenting. Also use this to assert return data.

Plumatic schema (https://github.com/plumatic/schema) , or friends I might be wrong, but I think schema might make more sense to you coming from the F# world (might be wrong)

This one? I didn't. I hear good things about it, and it's reached a point of maturity, being widely used in production.

Uhhh spec has existed for a long time and before that, schema Nowadays we also have the excellent malli. If his codebase is full of functions where the shape of the data isn’t obvious, isn’t documented and isn’t specified in a specific/schema, that’s on him and his bad coding practices and really no different from passing data in other dynamic languages. A class by itself (without additional effort) only gives you field names.

I don't understand this reputation either. There are very large systems built on other Lisps. For example, Emacs has a massive amount of Elisp. Elisp is much more primitive than Clojure, and traditionally libraries don't use e.g. data schemas [1] as runtime contracts for data.

Obviously, once a system built on top of a dynamic language grows beyond certain threshold, you need to be very disciplined as there are no static types to ensure some degree of correctness.

[1] https://github.com/plumatic/schema

Try to learn a schema library early, like Malli or Prismatic Schema. Do not mistook them as "static-typing" things - it's more for data validation and coercion than "security that things will get the right typing information". The idea to learn them early is how you'll shape future code: validating all "output data" first, them using that data inside your program without "defensive programming" like checking every time if a specific value on a map is nil, etc

In Clojure, declarative data specifications for validation and generation are also very mainstream. Schema was first out the door, Clojure Spec is the most popular library, while malli is gaining popularity fast at the moment.