PEP-695
注意事項
このPEPは歴史的な文書です。最新の標準仕様、分散推論、型エイリアス、型パラメーターリスト、型ステートメント、注釈のスコープは、タイピング仕様のサイトで管理されています。
変更の提案方法については,型付け仕様の更新プロセスを参照のこと.
概要
このPEPは、ジェネリッククラス、関数、または型エイリアス内で型パラメータを指定するための改良された構文を指定します。また、型エイリアスを宣言するための新しいステートメントを導入します。
動機
PEP-484 では型変数が言語に導入されました。PEP 612ではパラメータ指定が導入され、PEP-646では変種型変数が追加されました。 ジェネリック型と型パラメータの人気は高まっていますが、型パラメータを指定する構文はまだPythonに "ボルトオン "されているように感じられます。これはPython開発者の混乱の原因となっています。
Pythonの静的型付けコミュニティでは、ジェネリック型をサポートする他のモダンなプログラミング言語と同様の正式な構文を提供する時期に来ているというコンセンサスがあります。
人気のある25の型付きPythonライブラリを分析したところ、型変数(特にtyping.TypeVarシンボル)がモジュールの14%で使われていることが明らかになった。