一句印象深入的话，Alan Kay（Smalltalk发明者）说得一句话：“I’m not against types, but I don't know of any typesystems that aren't a complete pain, so I still like dynamic typing”。并非静态类型很差，只是静态类型的实现太让他痛苦了，因此他只好喜欢动态类型（语言）。但Scala就是一个实现良好的静态类型语言，带有不少动态语言的特色，动静结合得很是好，很舒服，固然，也很差学。题外说一句：Scala还能当脚本语言用，这完全纠正了个人“这是动态语言的特权”的旧思想。 来看看Scala的foreach和for枚举功能，就知道它有多函数式和“动态”了。 scala> Array("a1", "a2", "a3").foreach((a: String) => print(a + ' ') a1 a2 a3 进一步，省略参数的类型声明，Scala是能够进行类型推断的，这很动态： scala> Array("a1", "a2", "a3").foreach(a => print(a + ' ')) a1 a2 a3 再进一步，甚至省略了参数也能玩得转： scala> Array("a1", "a2", "a3").foreach(print) a1a2a3 接下来看看for，很简单： scala> for (a <- Array("a1", "a2", "a3")) println(a) a1 a2 a3