型的能力，它是一些强静态类型语言的特性。一般而言，函数式编程语言具有此特性。自动推断类型的能力让很多编程任务变得容易，让程序员可以忽略类型标注的同时仍然允许类型检查。具有类型推论的语言有：Rust, Haskell, Cayenne, Clean,ML, OCaml, Epigram, Scala, Nemerle, D, Chrome，Visual Basic 2008、Boo、C# 3.0和C++11。计划支持类型推论的有 Fortress, Vala和Perl 6。与此相对，通过类型标注以及