型の値が期待される場所で使うことが出来ないということです。これは論理的な誤りを最小の実行時のコストで防ぎたい時に有用です。使って型ヒントを付けます。ReturnType]。ジェネリクス¶コンテナ内のオブジェクトについての型情報は一般的な方法では静的に推論できないため、抽象基底クラスを継承したクラスが実装され、期待されるコンテナの要素の型を示すために添字表記をサポートするようになりました。呼ばれる新しいファクトリを使ってパラメータ化することができます。l[0]ユーザー定義のジェネリック型¶ユーザー定義のクラスを、ジェネリッククラスとして定義できます。とる、と定義できます。型として有効になります。引数のそれぞれの型変数は別のものでなければなりません。与えられたものとして扱います。Iterable[Any]ユーザ定義のジェネリック型エイリアスもサポートされています。あった独自のメタクラスは無くなりました。ユーザーが定義したジェネリッククラスはメタクラスの衝突を起こすことなく基底クラスに抽象基底クラスをとれます。ジェネリックメタクラスはサポートされません。モジュールのほとんどの型はハッシュ化でき、等価比較できます。すべての型と互換として扱います。型の値に対し任意の演算やメソッド呼び出しができ、任意の変数に代入できるということです。型の値をより詳細な型に代入する時に型検査が行われないことに注意してください。値を受け取るとしても、エラーを報告しません。して使用することができます。挙動を対比しましょう。