René's URL Explorer Experiment

Title: bpo-43224: Implement PEP 646 grammar changes by mrahtz · Pull Request #31018 · python/cpython · GitHub

Open Graph Title: bpo-43224: Implement PEP 646 grammar changes by mrahtz · Pull Request #31018 · python/cpython

X Title: bpo-43224: Implement PEP 646 grammar changes by mrahtz · Pull Request #31018 · python/cpython

Description: These are the parts of the old PR (#30398) relevant to only the grammar changes. To summarise, this adds support for: Starring within squared brackets, e.g. Tensor[*Ts], Tensor[T, *Ts] (where Ts is a TypeVarTuple and T is a TypeVar). But not within an actual slice - e.g. Tensor[0:*Ts] should not be valid. Starring the annotation given to *args, e.g. *args: *Ts. For 1, our intention is to call __iter__ on Ts and add the items from the resulting iterator to the tuple of arguments sent to Tensor.__cls_getitem__. For example, with Tensor[*Ts], if Ts.__iter__ returns an iterator yielding Ts.unpacked, Tensor.__cls_getitem__ would receive (Ts.unpacked,). With Tensor[T, *Ts], Tensor.__cls_getitem__ would receive (T, Ts.unpacked). For 2, our intention is to call __iter__ on Ts, get a single item from the iterator, verify that the iterator is exhausted, and set that item as the annotation for *args. I'm guessing the person I should ask for review on this is @pablogsal? https://bugs.python.org/issue43224

Open Graph Description: These are the parts of the old PR (#30398) relevant to only the grammar changes. To summarise, this adds support for: Starring within squared brackets, e.g. Tensor[*Ts], Tensor[T, *Ts] (where Ts i...

X Description: These are the parts of the old PR (#30398) relevant to only the grammar changes. To summarise, this adds support for: Starring within squared brackets, e.g. Tensor[*Ts], Tensor[T, *Ts] (where Ts i...

Opengraph URL: https://github.com/python/cpython/pull/31018

X: @github

direct link

Domain: github.com

Links:

Viewport: width=device-width