Refactor and document conditional type binder
Dieses Issue hat noch niemand übernommen.
- Vorherrschende Sprache
- Python
- Sterne
- 20.6k
- Forks
- 3.3k
- PR-Merge-Kennzahlen
- PR-Kennzahlen ausstehend
Beschreibung
Conditional type binder (mypy's version of abstract interpreter) is one of the trickiest part of mypy. It would be great to clean-up its implementation and document the current behaviour. As and optional additional related thing (or a follow-up step), I would propose to refactor/rethink partial types (that IMO should be handled by the binder).
Beitragsleitfaden
Erste Schritte
- Lies das ganze Issue und danach den Beitragsleitfaden des Projekts.
- Schreib ins Issue, dass du es übernimmst — das erspart doppelte Arbeit.
- Forke das Repository und arbeite in einem Branch.
- Öffne einen Pull Request, der die Issue-Nummer nennt.
Rechercherichtung
Beginne damit, mypy's Binder für bedingte Typen zu lokalisieren und seine aktuelle Implementierung und Tests zu lesen. Dokumentiere das bestehende Verhalten und lege den Umfang der Bereinigung fest, bevor du erwägst, ob partielle Typen vom Binder behandelt werden sollten. Als abgeschlossen gilt die Aufgabe, wenn das Verhalten des Binders dokumentiert und seine Implementierung klarer ist; eine etwaige Neugestaltung der partiellen Typen soll bei Bedarf als separates Follow-up behandelt werden.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Bewertung
- Tech-Stack
- python
- Bereich
- compilers
- Issue-Typ
- Refactoring
- Schwierigkeit
- 5/5
- Geschätzter Aufwand
- Über eine Woche
- Aktivitätsstatus
- Veraltet
- Klarheit
- Muss geklärt werden
- Anfängerfreundlichkeit
- 20/100