制約のない一般的なタイプは、ソフトウェアの拡張性を持っていません。
ソフトウェアだけのスケーラビリティを持つジェネリック型の制約を持ちます。
システム内の制約を持つタイプは、一般的な構造の活力を持っています。その理由は、それが動的な不確実性の一部、および不確実性のこの部分の一般的なメカニズムとの接触です。
非拘束型では、のみにかかわらず、一般的な機構を有する基準特性接触のタイプの汎用ポインタ機構に使用される、等することができるため、その拡張性と柔軟性を制限します。
ある意味では、制約のないタイプは最強の制約です。それだけで、ポインタと参照の形で一般的なメカニズムの組織化に関与することができます。
ある意味では、それは一般的なプログラミングのために拡張され、制約プログラミングの種類に直面することです。