本地类型推断

Scala 具有内置于该语言的强大的类型推断机制。这种机制被称为本地类型推断：

val i = 1 + 2                  // the type of i is Int
val s = "I am a String"        // the type of s is String
def squared(x : Int) = x*x     // the return type of squared is Int

编译器可以从初始化表达式推断变量的类型。类似地，可以省略返回类型的方法，因为它们等同于方法体返回的类型。上面的例子等同于下面的显式类型声明：

val i: Int = 1 + 2               
val s: String = "I am a String" 
def squared(x : Int): Int = x*x