我觉得王垠一个劲的夸scheme是有私心的。1.他的导师是《The Little Schemer》的作者,对scheme爱屋及乌;2.他是研究编译器的,所以他所说的东西都是站在一个底层编译器,解释器的设计者的角度去谈语言的。刚才看了篇http://coding.smashingmagazine.com/2013/04/18/introduction-to-programming-type-systems/(hacker news上的一篇)文章,这里面又涉及到静态vs动态,强类型vs弱类型等等历史争论,不是三言两语说的清的。但那篇文章的结论很好:Dynamically typed languages are popular now. The pendulum will swing back and forth many times in the coming years. The only solution is flexibility. Learn to work in each environment and you’ll work well with any team.