So, I need to define a "Static Polymorphic Subprogram" but in the book this is all I find about this topic:

I thought about definying it as: "Takes parameters of static types on different applications" but I am not sure that the addition of the word "static" will lead to this definition... Help please!

Software reuse can be an important contributor to software productivitv. One wav to increase the reusability of software is to lessen the need to create dif ferent subprograms that implement the same algorithm on different types of data. For example, a programmer should not need to write four different sort subprograms to sort four arrays that differ only in element type. A polymorphic subprogram takes parameters of different types on dif- ferent activations. Overloaded subprograms provide a particular kind of poly- morphism called ad hoc polymorphism. Overloaded subprograms need not behave similarl v. Languages that support object-oriented programming usually support sub- type polymorphism. Subtype polymorphism means that a variable of type T can access any object of type T or any type derived from T. A more general kind of polymorphism is provided by the methods of Python and Ruby. Recall that variables in these languages do not have types, so formal parameters do not have types. Therefore, a method will work for any type of actual parameter, as long as the operators used on the formal parameters in the method are defined Parametric polymorphism is provided by a subprogram that takes generic parameters that are used in type expressions that describe the types of the parameters of the subprogram. Different instantiations of such subprograms can be given different generic parameters, producing subprograms that take different types of parameters. Parametric definitions of subprograms all behave the same. Parametrically polymorphic subprograms are often called generic subprograms. C++, Java 5.0+, CH 2005 +, and F# provide a kind of compile-time parametric polymorphism