1. A method for detecting and analyzing errors in a generic function call comprising: providing a generic function call; providing a relation that includes sets of dummy arguments associated with the generic function call; first sorting through the relation to determine whether the generic function call contains errors; if the first sorting determines that the generic function call includes an error, second sorting through the relation to determine a failure mode for the generic function call; and providing an error message that identifies that the generic function call has an error and provides information about the failure mode of the generic function call as determined by the second sorting, wherein the relation comprises a matrix of argument signatures that relate the sets of dummy arguments with associated specific functions for the generic function, and wherein the generic function call comprises at least one argument and the first sorting through the relation comprises sorting and comparing each dummy argument of an argument signature with the least one argument of the generic function call until a parameter mismatch is determined for the dummy argument at which time the first sorting skips to a next argument signature and continues sorting and comparing the at least one argument of the generic function call with the dummy arguments of the next argument signature.