undefined | Better HN

0 pointsc-cube4y ago0 comments

Can you? Is there any tool that actually does that reliably?

0 comments

https://clojure.org/guides/spec#_using_spec_for_validation

The words "static" or "analysis" do not appear there. I imagine you meant that you can runtime check the specs, which, well, is no replacement for a type system.

j / k navigate · click thread line to collapse

0 pointsc-cube4y ago0 comments

Can you? Is there any tool that actually does that reliably?

0 comments

travisjungroth4y ago

https://clojure.org/guides/spec#_using_spec_for_validation

c-cubeOP4y ago

The words "static" or "analysis" do not appear there. I imagine you meant that you can runtime check the specs, which, well, is no replacement for a type system.

j / k navigate · click thread line to collapse