。<ref name="about/state"></ref> 对利用不可变值（immutable values）及显式时间进展构造（explicit progression-of-time constructs）进行编程的专注旨在促进更加健壮的（尤其是并发）程序的开发。<ref name="about/rationale"></ref><ref name="msdn/inside-clojure"></ref> Clojure的类型系统是完全动态的，但人们近期也开始探索其基于渐进类型化（gradual t