5. The computer-implemented method of claim 4 , wherein the data table comprises a plurality of entries, each entry relating to a method and relating a set of one or more types for input values for the method to a type for each of one or more output values for the method.
4. The computer-implemented method of claim 3 , wherein: the type inference is performed by a compiler; and the computer-implemented method further comprises: receiving user input at the compiler identifying the data table.