The overhead of polymorphism can in some cases be significant, especially where polymorphic predicates make heavy use of class method calls or the builtin 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:|