テンプレート - 「達成するために
まず、一般的な言語
1、唯一の汎用的な言語（多重化）の概念レベル。
2、及び解体には、一般的な概念ではありません。
図3に示すように、言語処理（コンパイルと説明）、具体的には、ジェネリック型（データ型と機能のタイプ）について説明します。一般的なコンパイラやインタプリタた後、ツールの実行可能ファイルと実行時の複数のコピーが存在します。
第二に、一般的なのを持ちます
1は、明示的に配向します;
（の戻り値とパラメータの関数として、）派生のタイプ2、。
3、の明示的なツールに基づく方法のロジックの全てを有します。
第三に、型推論
図1に示すように、一般的な実装の種類に基づいて導出されます
コールフォームは、特定の実装のためのコンパイラ由来順番に、ジェネリックの明示的な実施形態で得られました。
2、ジェネリックインターフェイスに基づいて導出されます
機能をプログラミングする際に使用されるこの導出モード。
ニーズに応じてカスタマイズされた特定の機能を実現するための関数インタフェース定義された高次機能。
以下のようにして導出されるチェーン。
上位（ジェネリック）関数 - （パラメータ） - >
高階関数 - （コール） - >
コンポーネント機能 - （コンテキストに応じて） - >
パラメータの派生型を - >
（実現） - 達成特定の機能パラメータの種類に応じて