noun
type inference
Technical term in programming language theory and compilers; refers to the automatic deduction of the type of an expression.
Haskellは強力な型推論を持つ言語です。
Haskell is a language with powerful type inference.
型推
Thanks to type inference, type annotations can be omitted.