DEV Community

Discussion on: Type systems: dynamic versus static, strong versus weak

Collapse
 
ltvan profile image
Van Ly

To be simple, statically type checking means ability of discovering type mismatch at compile-time, while dynamically type checking can only detect type mismatch at runtime. However, dynamic type checking can be enhanced by using a linting tool which constraints strict-typing.

Clojure is a compiled language. It’s dynamic due to ability of compiling on the fly. It’s strong or weak depends on how you use it.