1. A computer-implemented method comprising: prior to executing a typed assembly language program that contains a particular instruction that invokes a programmatic method when executed, performing steps comprising: determining whether the particular instruction is a particular kind of instruction; if the particular instruction is of the particular kind, then refraining from checking, prior to execution of the assembly language program, types of arguments that will be on a stack when the particular instruction is executed; and if the particular instruction is not of the particular kind, then checking, prior to execution of the assembly language program, the types of the arguments that will be on the stack when the particular instruction is executed, and if the types of the arguments do not match types of formal parameters that are associated with the programmatic method, then preventing the assembly language program from being executed.