What is Dynamic Parametrism?

Transframe supports dynamic parameterized classes, which is a more powerful mechanism than convemtional parameterized classes. Concreate classes of a Transframe's parameterized class can be instantiated at run-time.

The following diagram is a brief comparison in the concept of parameterization among languages of Transframe, Java, and C++.

Transframe Java C++
Concept unified, simple hybrid, complicated
Class parameterization supported supported
Interface parameterization supported supported
Type Dependency Specification fully supported superficially supported
Constrained Parameterization yes no
Design Error Isolation yes no
Dynamic Binding yes no
Able to define variable yes no
Support Heterogeneous data structure yes no
Support mutual parameterization yes no