News for hackers. Stuff that matters.

A comment on Clojure is cool. Parent comment

Re:Clojure is cool by hellofunk on Sunday September 09, 2018 @12:48PM (#17946671)
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.
[ Parent | on HN ]
Re:Clojure is cool by cutler on Sunday September 09, 2018 @01:13PM (#17946789)
Dude, Clojure is a dynamically typed language and always will be. If you don't like it use something else.
[ Parent | on HN ]
Re:Clojure is cool by grovehaw on Sunday September 09, 2018 @02:04PM (#17947007)
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/

[ Parent | on HN ]
Re:Clojure is cool by hellofunk on Sunday September 09, 2018 @01:29PM (#17946870)
> 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.

[ Parent | on HN ]