> - its dynamic-ness makes it not suited to large projects IMO. Clojure can be typed https://github.com/clojure/core.typed/ https://github.com/clojure/core.typ

> - its dynamic-ness makes it not suited to large projects IMO. Clojure can be typed https://github.com/clojure/core.typed/ https://github.com/clojure/core.typed/ > - The currently-accepted attempt at a non-type-system-type-system 'spec' is not well thought out. Spec is not a substitute for a type system. It is much more loose, since you are just dealing with implicit predicates but at the same time it is more powerful than what mainstream type systems give you in terms of validity and expressiveness.