3 ms·
Just for the records: strong != static typing && Runtime contracts != compile.time type checking
by stewbrew 13y ago
Just 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.