类型推论 类型推论类型推导型別推斷或隐含类型是指编程语言中在编译期自动推导出值的数据类型的能力它是一些强静态类型语言的特性一般而言函数式编程语言具有此特性自动推断类型的能力让很多编程任务变得容易让程序员可以忽略类型标注的同时仍然允许类型检查 具有类型推论的语言有Rust Haskell Cayenne Clean ML OCaml Epigram英语Epigram programming language Scala Nemerle D ChromeVisual Basic BooC Vala和C计划支持类型推论的有 Fortress英语Fortress programming language和Perl  与此相对通过类型标注以及字面量或其它特定语法隐含类型的语义规则而非类型推断规则明确指定目标类型确定类型的过程称为类型转换