Typed Clojure作者融资$35,254作为他这个开源项目的经费

[heganj]

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，至少现在不能）