ABSTRACT

T of programming abnormalities that, fromvery early on in the history of computers, has been known to be problematic: type mismatches. That is, a function expects an argument of a certain type, but is given a value of another type; or a function returns a value of a certain type which is then used by the caller of the function as if it were a value of another type. This is problematic because values of different types usually have different memory sizes, which means that when type mismatches occur, memory can be overwritten and made inconsistent.