型かた推すい論ろん

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.