Clojure you can express arbitrary data constraints and pre/post conditions (design by contract), with spec or malli. Clojure is also strongly typed, has (optio

Clojure you can express arbitrary data constraints and pre/post conditions (design by contract), with spec or malli. Clojure is also strongly typed, has (optional) type hints, which are understood by linting during dev time and helps the compiler to avoid reflection and boxing. It’s a very robust language that people use for critical stuff.