inference typing

automatic detection of the data type of an expression in a programming language