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