本地型別推斷

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