I can only assume this comes from an observation that once your product matures, the static types become more apparent and you have a better idea how flexible your data modeling should be.
i.e. we are gradually adding more runtime type-checks to our Clojure codebase.
(Runtime check are even more powerful than dependent types)
i.e. we are gradually adding more runtime type-checks to our Clojure codebase. (Runtime check are even more powerful than dependent types)