3 ms·

No, core.spec does not address the main issues with dynamic typing. It offers some neat stuff, but it is not a replacement for static typing.

• cutler 8y ago
  Dude, Clojure is a dynamically typed language and always will be. If you don't like it use something else.
  • hellofunk 8y ago
    > Clojure is a dynamically typed language and always will be I don't entirely agree with the "always will be," as Clojure is a very creative language that inspires a wide variety of experimentation, and core.typed is currently being actively worked on (as a PhD dissertation no less by the original author of core.typed), so there is ample room to think the future will offer good static typing abilities for Clojure. Also, I find your response unnecessarily curt.
  • grovehaw 8y ago
    You may want to check out Typed Racket as an example of what people can do if they decide they want types in their lisp. [0] [0] https://docs.racket-lang.org/ts-guide/ https://docs.racket-lang.org/ts-guide/