编译期间做检查数据类型的语言，即写程序时要声明所有变量的数据类型，是固定的。
这样在编译期期间，就可以做很多检查，消除很多运行期的错误。
人们经常这么批判静态类型语言：使程序过度冗长，类型系统不灵活。
但是，在scala中利用类型推断避免了程序过度冗长。和模式匹配和一些新的编写和组织类型的方法，使之更加灵活。
搜索
复制
静态类型
原文：http://www.cnblogs.com/wlwgcdxc/p/4522227.html
