出典:Wiktionary
出典:『Wiktionary』 (2017/02/28 08:12 UTC 版)
type inference (countable かつ uncountable, 複数形 type inferences)
出典:Wikipedia
出典:『Wikipedia』 (2011/07/29 07:47 UTC 版)
Type inference refers to the automatic deduction of the type of an expression in a programming language. 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 Visual Basic (starting with version 9.0), C# (starting with version 3.0), D, Clean, Haskell, ML, OCaml, Scala. This feature is also planned for C++0x and Perl 6. The ability to infer types automatically makes many programming tasks easier, leaving the programmer free to omit type annotations while still permitting type checking.