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，至少现在不能）
以后开发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，至少现在不能）
Select Language