(Or “coercion”) The abilty of some compilers to automatically insert type conversion functions where an expression of one type is used in a context where another type is expected.
A common example is coercion of integers to reals so that an expression like sin(1) is compiled as sin(integerToReal(1)) where sin is of type Real -> Real.
A coercion is usually performed automatically by the compiler whereas a cast is an explicit type conversion inserted by the programmer.
See also subtype.
[im-plis-it] adjective 1. implied, rather than expressly stated: implicit agreement. 2. unquestioning or unreserved; absolute: implicit trust; implicit obedience; implicit confidence. 3. potentially contained (usually followed by in): to bring out the drama implicit in the occasion. 4. Mathematics. (of a function) having the dependent variable not explicitly expressed in terms of the independent variables, […]
[im-plahyd] adjective 1. involved, indicated, or suggested without being directly or explicitly stated; tacitly understood: an implied rebuke; an implied compliment. [im-plahy] verb (used with object), implied, implying. 1. to indicate or suggest without being explicitly stated: His words implied a lack of faith. 2. (of words) to signify or mean. 3. to involve as […]
noun, Law. 1. a manifestation of consent to something through conduct, including inaction or silence.
noun 1. a warranty not stated explicitly by the seller of merchandise or real property but presumed for reasons of commercial or legal custom (distinguished from ).