Python 型システムの仕様

目次:

• Python 型システム
  • 目的
  • 非目標
  • 解釈
• メタトピック
  • この仕様について
  • 仕様の変更
• 型システムの概念
  • 静的型付け、動的型付け、および逐次型付け
  • 完全に静的な型と逐次型
  • サブタイプ、スーパータイプ、および型の同値性
  • 名義型と構造型
  • 具現化
  • 一貫性
  • 代入可能な関係（または一貫したサブタイピング）
  • 型関係の要約
  • 属性とメソッド
  • 共用体型
  • 参考文献
• 型注釈
  • 注釈の意味
  • 型と注釈の式
  • 文字列注釈
  • ジェネレータ関数とコルーチンの注釈
  • インスタンスメソッドとクラスメソッドの注釈
• アノテーションにおける特別な型
  • Any
  • None
  • NoReturn
  • Never
  • float および complex の特別なケース
  • type[]
• ジェネリクス
  • はじめに
  • ユーザー定義のジェネリック型
  • 型変数のスコープルール
  • ジェネリッククラスのインスタンス化と型消去
  • 基底クラスとしての任意のジェネリック型
  • 抽象ジェネリック型
  • 上限を持つ型変数
  • 分散
  • ParamSpec
  • TypeVarTuple
  • 型パラメータのデフォルト
  • Self
  • 分散推論
• 型修飾子
  • @final
  • Final
  • Annotated
• クラス型の代入可能性
  • ClassVar
  • @override
• 型エイリアス
  • TypeAlias
  • type ステートメント
  • NewType
• リテラル
  • Literal
  • LiteralString
• プロトコル
  • 用語
  • プロトコルの定義
  • プロトコルメンバー
  • 実装の明示的な宣言
  • プロトコルのマージと拡張
  • ジェネリックプロトコル
  • 再帰プロトコル
  • プロトコルにおける自己型
  • 他の型との代入可能性の関係
  • プロトコルのユニオンとインターセクション
  • type[] とクラスオブジェクト vs プロトコル
  • NewType() と型エイリアス
  • プロトコルの実装としてのモジュール
  • @runtime_checkable デコレータと isinstance() による型の絞り込み
• 呼び出し可能
  • 用語
  • 位置のみのパラメーター
  • デフォルト引数値
  • *args および **kwargs の注釈
  • キーワード引数のための Unpack
  • 呼び出し可能
  • コールバックプロトコル
  • 呼び出し可能な型の割り当てルール
• コンストラクタ
  • コンストラクタの呼び出し
  • メタクラス __call__ メソッド
  • __new__ メソッド
  • __init__ メソッド
  • __new__ および __init__ メソッドのないクラス
  • type[T] のコンストラクタ呼び出し
  • 構築中の特殊化
  • __new__ および __init__ の一貫性
  • コンストラクタを Callable に変換する
• @overload
• 例外
  • コンテキストマネージャー
• データクラス
  • dataclass_transform デコレーター
• 型付き辞書
  • TypedDict
  • Required および NotRequired
  • 読み取り専用項目
• タプル
  • タプル型の形式
  • アンパックされたタプル形式
  • 型の互換性ルール
• 名前付きタプル
  • 名前付きタプルの定義
  • 名前付きタプルの使用
  • 代入可能性
• 列挙型
  • 列挙型の定義
  • 列挙型の動作
  • メンバーの定義
  • メンバー名
  • メンバーの値
  • 列挙リテラルの展開
• 型の絞り込み
  • TypeGuard
  • TypeIs
• 型チェッカーのディレクティブ
  • assert_type()
  • reveal_type()
  • # type: ignore コメント
  • cast()
  • TYPE_CHECKING
  • @no_type_check
  • バージョンおよびプラットフォームのチェック
  • @deprecated
• 型情報の配布
  • スタブファイル
  • ライブラリ内の型情報
  • ライブラリインターフェース（公開および非公開シンボル）
  • インポートの慣例
• 歴史的および非推奨の機能
  • 型コメント
  • 関数定義の型コメント
  • 位置専用パラメーター
  • 標準コレクションのジェネリック
  • Union と Optional
  • Unpack
• 用語集