型別推論
維基百科,自由的 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。
與此相對,通過型別標註以及字面量或其它特定語法隱含型別的語意規則(而非型別推斷規則)明確指定目標型別確定型別的過程稱為型別轉換。