类型推论
維基百科,自由的 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。
与此相对,通过类型标注以及字面量或其它特定语法隐含类型的语义规则(而非类型推断规则)明确指定目标类型确定类型的过程称为类型转换。