3 ms·
spec is mostly useless for tools and IDE's and static analysis. Spec necessitates running your program with an arbitrary runtime complexity. Type checking is do
by lenkite 4y ago
spec is mostly useless for tools and IDE's and static analysis. Spec necessitates running your program with an arbitrary runtime complexity. Type checking is done before your program runs. The idea is to remove the need for runtime checks as much as possible.
- johannboehme 4y agoBut clojure is not meant to be developed statically! It is supposed to be running while developing it. You don't need static analysis if the programm is running and inspectable.
- kccqzy 4y agoAh yes thanks for the elaboration. That's what I meant by the spirit of Clojure.