http://www.indiegogo.com/projects/typed-clojure以后开发Clojure会爽很多了
http://blog.circleci.com/supporting-typed-clojure/ 这里讲得它很牛,
而王垠的 PySonar2 的类型系统也号称是世界上最强大的类型系统(https://github.com/yinwang0/blog-cn/blob/gh-pages/_posts/2013-10-05-random-words.md)
不知道哪个更强呢XD,(我希望是王垠的更强些,但可惜的是不能分析Clojure,至少现在不能)