Quote: parametric polymorphism by new code and data for each instantiation [C++], or one data representation with polymorphic code using pointer types, boxing, or tagged representations

Quotation Skeleton

The implementation of parametric polymorphism in programming languages … a polymorphic declaration gives rise to data representation … [e.g., C++ templates]. … The advantage of specialization is performance … ; the drawbacks are code explosion, lack of … representation is used for all instantiations of a … This is achieved by restricting instantiations to the … [e.g., Eiffel, Modula-3] … , by boxing all non-pointer values [e.g., Haskell] … , or by using a tagged representation scheme … [e.g., ML] …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: generic operations and polymorphism (65 items)