型システムリファレンス

目次:

• ジェネリクス
  • ジェネリック クラスの定義
  • ジェネリック クラスのサブクラスの定義
  • ジェネリック関数
  • ジェネリック メソッドとジェネリック self
  • typing.Self を使用した自動 self 型
  • ジェネリック型の分散
  • 上限を持つ型変数
  • 制約付きの型変数
  • デコレータの宣言
  • ジェネリック プロトコル
  • ジェネリック型エイリアス
  • ジェネリック クラスの内部
  • クレジット
• プロトコルと構造的サブタイピング
  • 定義済みプロトコル
  • シンプルなユーザー定義プロトコル
  • サブプロトコルの定義とプロトコルのサブクラス化
  • プロトコル属性の不変性
  • 再帰プロトコル
  • プロトコルで isinstance() を使用する
  • コールバック プロトコル
  • 定義済みプロトコル リファレンス
  • クレジット
• 型指定のベストプラクティス
  • はじめに
  • 型指定機能
  • エルゴノミック プラクティス
  • スタイリスティック プラクティス
• 型注釈の品質のテストと保証
  • 注釈の精度のテスト
  • 型の完全性の向上
• typing モジュールのドキュメント