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