type inference

noun

type inference

noun
1

Computing, Engineering, Mathematics, Natural sciences, Physical sciences, Sciences, Software The automatic deduction of the type of an expression in a programming language.

Antonyms
type erasure
Hyponyms
inference

Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.