Quote: use static type rules and lazy dictionary creation for parametric polymorphism; checked once instead of every instantiation

Quotation Skeleton

The static type rules for [our extension of CLR to generics] capture the … with C++ templates and extensions to Java based … [ref], where every distinct instantiation must be checked separately. … [Similarly, lazy dictionary creation for type lookups is significantly faster than repeated runtime type lookups.]   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: dynamic vs. static data type (19 items)
Topic: generic operations and polymorphism (65 items)