4 ms·
Clojure has core.contracts now, which can be used to get some of the same correctness guarantees you can get from a strong type system. https://github.com/cloj
by profquail 13y ago
Clojure has core.contracts now, which can be used to get some of the same correctness guarantees you can get from a strong type system.
https://github.com/clojure/core.contracts https://github.com/clojure/core.contracts
- stewbrew 13y agoJust for the records: strong != static typing && Runtime contracts != compile.time type checking
- danneu 13y agoAlso, there's https://github.com/clojure/core.typed https://github.com/clojure/core.typed. I don't have much experience with static typing outside of basic Java interop, but I gave it a shot on a recent project and it was pretty cool once I got the ball rolling and it caught my first actual bug.
- stewbrew 13y agoYes (though I find it painfully slow) and there is more but making use of those would most often require you to duplicate type information.