1. Type inferenceType inference refers to the automatic deduction of the type of an expression in a programming language. If some, but not all, type annotations are already present it is referred to as type reconstruction. It is a feature present in some strongly statically typed languages. It is often characteristic of — but not limited to — functional programming languages in general. Some languages that include type inference are ML, OCaml, Haskell, Scala, D, Clean, Opa and Go.
Read “Type inference” on English Wikipedia
Read “型推論” on Japanese Wikipedia
Read “Type inference” on DBpedia
Read “Type inference” on English Wikipedia
Read “型推論” on Japanese Wikipedia
Read “Type inference” on DBpedia
Discussions
Log in to talk about this word.