(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 realSSo that an expreSSion like Sin(1) iS compiled aSSin(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. (1997-07-28)