Follow
Thoughts from Alex Miller (Cognitect, @puredanger) #Clojure vs the costs of static typing https://clojureverse.org/t/dynamic-types-where-is-the-discussion/8968/17
Thoughts from Alex Miller (Cognitect, @puredanger) #Clojure vs the costs of static typing https://clojureverse.org/t/dynamic-types-where-is-the-discussion/8968/17
@worldsendless Funny thing is dynamic assertion and contracts do a lot more for bug-finding than static types that are generally a lot more limited than what contracts can enforce.
Of course you can have both, like Typed Racket which supports both static types and contracts.
https://docs.racket-lang.org/ts-guide/