Fixed-size, multi-type sequence

Offen

#592 erstellt am 19.11.2018 3 Kommentare 13 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen

Dieses Issue hat noch niemand übernommen.

Bewertung

Schwierigkeit: 5/5
Geschätzter Aufwand: Über eine Woche
Anfängerfreundlichkeit: 25/100

Issue-Typ: Feature
Klarheit: Muss geklärt werden
Aktivitätsstatus: Veraltet
Tech-Stack: python
Bereich: devtools

Rechercherichtung

Beginne mit dem Lesen von python/typeshed#2287 und den Beispielen in diesem Issue und überprüfe anschließend, wie typing derzeit Tupel, Iterables und Sequenzen darstellt. Das Issue nennt keine Implementierungsdateien oder Tests; als abgeschlossen würde eine abgestimmte Design für Annotationen gelten, die die beschriebenen Eingaben unterstützt und dabei nützliche Einschränkungen bei der Typprüfung beibehält.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Beschreibung

topic: feature

This came up in python/typeshed#2287, but I have encountered the same problem myself. As far as I know, currently the only way to annotate a multi-type, fixed length sequence is using Tuple. But for input types this is often too strict:

def foo(x: Tuple[int, str]) -> None:
    a, b = x

def bar(x: Tuple[int, str]) -> None:
    a = x[0]
    b = x[1]

The implementations accept any iterable (first case) or sequence (second case) that yield two values:

class Iter:
    def __iter__(self):
        yield 1
        yield ""

foo((1, ""))
foo([1, ""])
foo(Iter())
bar((1, ""))
bar([1, ""])

It would be useful to have a way to annotate this. Of course type checkers would still need to reject generic cases like this:

def foo(x: TupleLike[str, str]): ...
x: List[str] = ...
foo(x)

But it could allow some things that are not possible at the moment, and opens the possibility for future improvements.

Vorherrschende Sprache: Python
Sterne: 1.8k
Forks: 302
Ø Merge: 23 Std.
Gemergte PRs (30 T.): 8

Beitragsleitfaden

Für dieses Repository ist kein Beitragsleitfaden indexiert

Erste Schritte

Lesen Sie das ganze Issue und danach den Beitragsleitfaden des Projekts.
Schreiben Sie ins Issue, dass Sie es übernehmen — das erspart doppelte Arbeit.
Forken Sie das Repository und arbeiten Sie in einem Branch.
Öffnen Sie einen Pull Request, der die Issue-Nummer nennt.

Mehr aus python/typing

Spec: `Final` section could use better definition for `Final` vs. `Final[X]` Offen

topic: typing spec

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 72/100

python/typing#2356 · 2 Kommentare · 1 Reaktion · Erstellt am 02.9.2026
Spec: PEP leftovers in the spec for literals Offen

topic: typing spec

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 75/100

python/typing#2355 · Erstellt am 01.9.2026
Update reference/generics.html with PEP695 type parameter syntax Offen

topic: documentation

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 76/100

python/typing#2227 · 2 Kommentare · Erstellt am 25.3.2026
Remove PEP references in Typing Python Libraries guide Offen

topic: documentation

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 65/100

python/typing#2150 · 2 Kommentare · 2 Reaktionen · Erstellt am 12.1.2026
Finals and Literals: Spec contradiction Offen

topic: conformance tests topic: typing spec

Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 72/100

python/typing#2351 · 2 Kommentare · Erstellt am 31.8.2026

Alle Issues in python/typing