Generic ParamSpec in subclass definitions
まだ誰も着手していません。
評価
調査の方向性
ファイル、テスト、実装のエントリーポイントは指定されていません。まず、issue の ParamSpec、Generic、サブクラスメソッドの例を Python typing 仕様と併せて確認し、要求された推論がサポートされているのか、それとも仕様の変更が必要なのかを判断してください。動作とその実装範囲が明示的に決定されれば完了です。
索引モデルが issue の本文から書いたものです。
説明
Given some base class that is generic over a param-spec, I'd like to be able to define the param-spec using a subclass method implementation. Something like:
T = TypeVar("T")
P = ParamSpec("P")
class Base(Generic[P, T]):
func: Callable[P, T]
# for instance
def wrapper(self, *args: P.args, **kwargs: P.kwargs) -> Tuple[T]:
return (self.func(*args, **kwargs), )
class Subclass(Base):
def func(self, x: int, *, y: str) -> bytes: ...
That is, the base class is generic over some function definition, and the subclass implement that function as a method. I'm not sure how common this pattern is, but I see it a fair amount when the class gets more complicated and you can't just use a decorator (e.g. torch.nn.Module.forward is a big example of this). Is there some other way of specifying "infer the parameters from this method implementation"? Is this something that would require an update to the specification, is it "just" a feature request to the method implementation "like" an assignment statement?
- 主要言語
- Python
- スター
- 1.8k
- フォーク
- 302
- 平均マージ
- 23時間
- マージ済み PR（30日）
- 8
コントリビューションガイド
このリポジトリのコントリビューションガイドは索引されていません
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
python/typing のほかの issue
-
topic: typing spec
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
-
topic: typing spec
難易度 2/5 1〜3時間 初心者へのやさしさ 75/100
-
topic: documentation
難易度 2/5 1〜3時間 初心者へのやさしさ 76/100
-
topic: documentation
難易度 2/5 1〜3時間 初心者へのやさしさ 65/100
-
topic: conformance tests topic: typing spec
難易度 3/5 1〜2日 初心者へのやさしさ 72/100
似ている issue
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 90/100
learningequality/ricecooker#747 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 68/100
BSData/horus-heresy-3rd-edition#3171 ·
-
enhancement
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 76/100
run-llama/llama_index#23199 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 84/100
KhronosGroup/glTF-Blender-IO#2769 ·