askell, Cayenne, Clean, ML, OCaml, Epigram, Scala, Nemerle, D, Chrome，Visual Basic 2008、Boo、C# 3.0和C++11。计划支持类型推论的有 Fortress,Vala和Perl 6。与此相对，通过类型标注以及字面量或其它特定语法隐含类型的语义规则（而"不是"类型推断规则）明确指定目标类型确定类型的过程称为类型转换。
非技术性解说.在大多数的编程语言中，所有值都有一个类型，它描述特定值的