Why I'm Productive in Clojure (2013)

Re:Why I'm Productive in Clojure (2013) by ngrilly on Sunday October 22, 2017 @04:27PM (#15528758)

You wrote "then have that checked on the function before the program ever runs". That is the definition of static checking.

To statically check constraints like "all integers between 5 and 50", you need dependent types, and Clojure doesn't support this.

Considering this, I'm not sure what you mean by "before the program ever runs". Do you mean a check thanks to automated property-based testing (which is a way of running a part of your program)?

[ Parent | on HN ]

Re:Why I'm Productive in Clojure (2013) by hellofunk on Sunday October 22, 2017 @05:18PM (#15528992)

No, I'm not talking about static checking. I'm talking about property-based tests that run at compile time. Dependent typing is a different matter. What I describe is not dependent typing, but is quite straightforward now thanks to Clojure.spec. And there are a lot of community efforts in the research sphere to see where Spec can take static analysis, it's quite interesting.

[ Parent | on HN ]

Re:Why I'm Productive in Clojure (2013) by ngrilly on Wednesday October 25, 2017 @04:55AM (#15548503)

Thanks.

[ Parent | on HN ]