type inference
Technical term in programming language theory and compilers; refers to the automatic deduction of the type of an expression.
Haskell is a language with powerful type inference.
型推論のおかげで、型注釈を省略できる。
Thanks to type inference, type annotations can be omitted.