The overhead of polymorphism can in some cases be significant, especially where polymorphic predicates make heavy use of class method calls or the built-in unification and comparison routines. To avoid this, the programmer can suggest to the compiler that a specialized version of a procedure should be created for a specific set of argument types.
|• Syntax and semantics of type specialization pragmas:|
|• When to use type specialization:|
|• Implementation specific details:|