類型推論

類型推論 、 類型推導 、 型別推斷 、 或隱含類型 ， 是指編程語言中在編譯期自動推導出值的數據類型的能力 ， 它是一些強靜態類型語言的特性 。 一般而言 ， 函數式編程語言具有此特性 。 自動推斷類型的能力讓很多編程任務變得容易 ， 讓程序員可以忽略類型標註的同時仍然允許類型檢查 。 具有類型推論的語言有 ： Rust, Haskell, Cayenne, Clean, ML, OCaml,, Scala, Nemerle, D, Chrome ， Visual Basic 2008 、 Boo 、 C# 3.0 、 Vala和C + +11 。 計劃支持類型推論的有 和Perl 6 。 與此相對 ， 通過類型標註以及字面量或其它特定語法隱含類型的語義規則 （ 而非類型推斷規則 ） 明確指定目標類型確定類型的過程稱爲類型轉換 。